Index: trunk/src/org/openstreetmap/josm/tools/LanguageInfo.java
===================================================================
--- trunk/src/org/openstreetmap/josm/tools/LanguageInfo.java	(revision 19070)
+++ trunk/src/org/openstreetmap/josm/tools/LanguageInfo.java	(revision 19071)
@@ -191,5 +191,5 @@
                 return new String[]{prefix+"zh-Hant-TW", prefix+"zh-Hant", prefix+"zh"};
             default:
-                ArrayList<String> r = new ArrayList<String>();
+                var r = new ArrayList<String>();
                 for (String s : LanguageInfo.getLanguageCodes(null)) {
                     r.add(prefix + s);