diff --git a/js/rhino/src/org/mozilla/javascript/JavaMembers.java b/js/rhino/src/org/mozilla/javascript/JavaMembers.java
index b90c5ab4161..c3d7c6861c1 100644
--- a/js/rhino/src/org/mozilla/javascript/JavaMembers.java
+++ b/js/rhino/src/org/mozilla/javascript/JavaMembers.java
@@ -453,7 +453,7 @@ class JavaMembers
 
         // Add the new bean properties.
         for (Enumeration e = toAdd.keys(); e.hasMoreElements();) {
-            String key = (String) e.nextElement();
+            Object key = e.nextElement();
             Object value = toAdd.get(key);
             ht.put(key, value);
         }