diff -r deef1427bbe7 -r 4b09a4b689a4 rt/vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java
--- a/rt/vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java	Mon Jun 23 19:35:22 2014 +0200
+++ b/rt/vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java	Thu Jun 26 23:54:17 2014 +0200
@@ -19,7 +19,6 @@
 
 import java.io.IOException;
 import java.io.InputStream;
-import java.util.Locale;
 import static org.apidesign.vm4brwsr.ByteCodeParser.*;
 
 /** Translator of the code inside class files to JavaScript.
@@ -1558,7 +1557,7 @@
                         sb.append(ch);
                     } else {
                         sb.append("_0");
-                        String hex = Integer.toHexString(ch).toLowerCase(Locale.ENGLISH);
+                        String hex = Integer.toHexString(ch).toLowerCase();
                         for (int m = hex.length(); m < 4; m++) {
                             sb.append("0");
                         }