From a36176baca93d05697d4a29ef80c44658be67bc5 Mon Sep 17 00:00:00 2001
From: Pierre Carrier <pierre@gcarrier.fr>
Date: Sun, 20 Apr 2014 04:17:08 -0700
Subject: [PATCH] CP: Properties.stringPropertyNames()

---
 classpath/java/util/Properties.java | 4 ++++
 1 file changed, 4 insertions(+)

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<String> stringPropertyNames() {
+    return new HashSet(keySet());
+  }
+
   private abstract static class Parser {
     private StringBuilder key = null;
     private StringBuilder value = null;