src/share/classes/java/util/Properties.java

rev 3186 : 6880112: Project Coin: Port JDK core library code to use diamond operator

*** 1009,1019 ****
       *          including the keys in the default property list.
       * @see     java.util.Properties#defaults
       * @since   1.6
       */
      public Set<String> stringPropertyNames() {
!         Hashtable<String, String> h = new Hashtable<String, String>();
          enumerateStringProperties(h);
          return h.keySet();
      }
  
      /**
--- 1009,1019 ----
       *          including the keys in the default property list.
       * @see     java.util.Properties#defaults
       * @since   1.6
       */
      public Set<String> stringPropertyNames() {
!         Hashtable<String, String> h = new Hashtable<>();
          enumerateStringProperties(h);
          return h.keySet();
      }
  
      /**