diff --git a/classpath/java/util/Properties.java b/classpath/java/util/Properties.java index adb8690685..8669af1e79 100644 --- a/classpath/java/util/Properties.java +++ b/classpath/java/util/Properties.java @@ -58,6 +58,10 @@ public class Properties extends Hashtable { return keys(); } + public Set stringPropertyNames() { + return new HashSet(keySet()); + } + private abstract static class Parser { private StringBuilder key = null; private StringBuilder value = null;