1.1 --- a/rt/emul/mini/src/main/java/java/lang/Number.java	Thu Feb 28 10:39:40 2013 +0100
     1.2 +++ b/rt/emul/mini/src/main/java/java/lang/Number.java	Sun Apr 24 14:17:09 2016 +0200
     1.3 @@ -128,7 +128,7 @@
     1.4          initValueOf();
     1.5      }
     1.6      @JavaScriptBody(args = {  }, body = 
     1.7 -        "var p = vm.java_lang_Number(false);\n" +
     1.8 +        "var p = java_lang_Number(false);\n" +
     1.9          "p.valueOf = function() { return this.doubleValue__D(); };\n" +
    1.10          "p.toString = function() { return this.toString__Ljava_lang_String_2(); };"
    1.11      )