Ticket #6593: patch.diff

src/org/openstreetmap/josm/data/Version.java

@@ -37 +37 @@
         BufferedReader in;
         String s = null;
         try {
-            in = new BufferedReader(new InputStreamReader(resource.openStream()));
+            in = new BufferedReader(new InputStreamReader(resource.openStream(), "UTF-8"));
             StringBuffer sb = new StringBuffer();
             for (String line = in.readLine(); line != null; line = in.readLine()) {
                 sb.append(line).append("\n");