diff -r 4844a9fd3a62 -r 18002d039806 make/tools/CompileProperties/CompileProperties.java
--- a/make/tools/CompileProperties/CompileProperties.java	Wed Jun 22 17:07:02 2011 -0700
+++ b/make/tools/CompileProperties/CompileProperties.java	Thu Jun 23 11:49:27 2011 -0700
@@ -222,13 +222,13 @@
                 sortedKeys.add((String)key);
             }
             Collections.sort(sortedKeys);
-            Iterator keys = sortedKeys.iterator();
+            Iterator<String> keys = sortedKeys.iterator();
 
             StringBuffer data = new StringBuffer();
 
             while (keys.hasNext()) {
-                Object key = keys.next();
-                data.append("            { \"" + escape((String)key) + "\", \"" +
+                String key = keys.next();
+                data.append("            { \"" + escape(key) + "\", \"" +
                         escape((String)p.get(key)) + "\" },\n");
             }