1.1 --- a/make/tools/CompileProperties/CompileProperties.java Wed Jun 22 17:07:02 2011 -0700
1.2 +++ b/make/tools/CompileProperties/CompileProperties.java Thu Jun 23 11:49:27 2011 -0700
1.3 @@ -222,13 +222,13 @@
1.4 sortedKeys.add((String)key);
1.5 }
1.6 Collections.sort(sortedKeys);
1.7 - Iterator keys = sortedKeys.iterator();
1.8 + Iterator<String> keys = sortedKeys.iterator();
1.9
1.10 StringBuffer data = new StringBuffer();
1.11
1.12 while (keys.hasNext()) {
1.13 - Object key = keys.next();
1.14 - data.append(" { \"" + escape((String)key) + "\", \"" +
1.15 + String key = keys.next();
1.16 + data.append(" { \"" + escape(key) + "\", \"" +
1.17 escape((String)p.get(key)) + "\" },\n");
1.18 }
1.19
