1.1 --- a/emul/mini/src/main/java/java/lang/String.java	Thu Jan 24 18:03:29 2013 +0100
     1.2 +++ b/emul/mini/src/main/java/java/lang/String.java	Sat Jan 26 08:47:05 2013 +0100
     1.3 @@ -115,7 +115,7 @@
     1.4      /** use serialVersionUID from JDK 1.0.2 for interoperability */
     1.5      private static final long serialVersionUID = -6849794470754667710L;
     1.6      
     1.7 -    @JavaScriptOnly(name="toString", value="function() { return this.fld_r; }")
     1.8 +    @JavaScriptOnly(name="toString", value="String.prototype._r")
     1.9      private static void jsToString() {
    1.10      }
    1.11      
    1.12 @@ -174,7 +174,7 @@
    1.13          "for (var i = 0; i < charArr.length; i++) {\n"
    1.14        + "  if (typeof charArr[i] === 'number') charArr[i] = String.fromCharCode(charArr[i]);\n"
    1.15        + "}\n"
    1.16 -      + "this.fld_r = charArr.join('');\n"
    1.17 +      + "this._r(charArr.join(''));\n"
    1.18      )
    1.19      public String(char value[]) {
    1.20      }
    1.21 @@ -205,7 +205,7 @@
    1.22          "for (var i = off; i < up; i++) {\n" +
    1.23          "  if (typeof charArr[i] === 'number') charArr[i] = String.fromCharCode(charArr[i]);\n" +
    1.24          "}\n" +
    1.25 -        "this.fld_r = charArr.slice(off, up).join(\"\");\n"
    1.26 +        "this._r(charArr.slice(off, up).join(\"\"));\n"
    1.27      )
    1.28      public String(char value[], int offset, int count) {
    1.29      }