equal
deleted
inserted
replaced
1009 * including the keys in the default property list. |
1009 * including the keys in the default property list. |
1010 * @see java.util.Properties#defaults |
1010 * @see java.util.Properties#defaults |
1011 * @since 1.6 |
1011 * @since 1.6 |
1012 */ |
1012 */ |
1013 public Set<String> stringPropertyNames() { |
1013 public Set<String> stringPropertyNames() { |
1014 Hashtable<String, String> h = new Hashtable<String, String>(); |
1014 Hashtable<String, String> h = new Hashtable<>(); |
1015 enumerateStringProperties(h); |
1015 enumerateStringProperties(h); |
1016 return h.keySet(); |
1016 return h.keySet(); |
1017 } |
1017 } |
1018 |
1018 |
1019 /** |
1019 /** |