diff -r af4001c85438 -r 81a7a4fcaf46 rt/emul/mini/src/main/java/java/lang/Number.java --- a/rt/emul/mini/src/main/java/java/lang/Number.java Thu Feb 28 10:39:40 2013 +0100 +++ b/rt/emul/mini/src/main/java/java/lang/Number.java Sun Apr 24 14:17:09 2016 +0200 @@ -128,7 +128,7 @@ initValueOf(); } @JavaScriptBody(args = { }, body = - "var p = vm.java_lang_Number(false);\n" + + "var p = java_lang_Number(false);\n" + "p.valueOf = function() { return this.doubleValue__D(); };\n" + "p.toString = function() { return this.toString__Ljava_lang_String_2(); };" )