1.1 --- a/rt/emul/mini/src/main/java/java/lang/String.java	Mon Oct 21 15:16:04 2013 +0200
     1.2 +++ b/rt/emul/mini/src/main/java/java/lang/String.java	Thu Oct 31 15:01:35 2013 +0100
     1.3 @@ -3109,6 +3109,14 @@
     1.4       * @return  a string that has the same contents as this string, but is
     1.5       *          guaranteed to be from a pool of unique strings.
     1.6       */
     1.7 +    @JavaScriptBody(args = {}, body = 
     1.8 +        "var s = this.toString().toString();\n" +
     1.9 +        "var i = String.intern || (String.intern = {})\n" + 
    1.10 +        "if (!i[s]) {\n" +
    1.11 +        "  i[s] = s;\n" +
    1.12 +        "}\n" +
    1.13 +        "return i[s];"
    1.14 +    )
    1.15      public native String intern();
    1.16      
    1.17