make/tools/CompileProperties/CompileProperties.java

changeset 1045
18002d039806
parent 798
4868a36f6fd8
equal deleted inserted replaced
1044:4844a9fd3a62 1045:18002d039806
220 List<String> sortedKeys = new ArrayList<String>(); 220 List<String> sortedKeys = new ArrayList<String>();
221 for ( Object key : p.keySet() ) { 221 for ( Object key : p.keySet() ) {
222 sortedKeys.add((String)key); 222 sortedKeys.add((String)key);
223 } 223 }
224 Collections.sort(sortedKeys); 224 Collections.sort(sortedKeys);
225 Iterator keys = sortedKeys.iterator(); 225 Iterator<String> keys = sortedKeys.iterator();
226 226
227 StringBuffer data = new StringBuffer(); 227 StringBuffer data = new StringBuffer();
228 228
229 while (keys.hasNext()) { 229 while (keys.hasNext()) {
230 Object key = keys.next(); 230 String key = keys.next();
231 data.append(" { \"" + escape((String)key) + "\", \"" + 231 data.append(" { \"" + escape(key) + "\", \"" +
232 escape((String)p.get(key)) + "\" },\n"); 232 escape((String)p.get(key)) + "\" },\n");
233 } 233 }
234 234
235 // Get class name from java filename, not the properties filename. 235 // Get class name from java filename, not the properties filename.
236 // (zh_TW properties might be used to create zh_HK files) 236 // (zh_TW properties might be used to create zh_HK files)

mercurial