1.1 --- a/rt/emul/mini/src/main/java/java/lang/String.java	Thu Apr 04 09:46:06 2013 +0200
     1.2 +++ b/rt/emul/mini/src/main/java/java/lang/String.java	Fri May 03 18:15:47 2013 +0200
     1.3 @@ -1013,7 +1013,7 @@
     1.4       * @see  #equalsIgnoreCase(String)
     1.5       */
     1.6      @JavaScriptBody(args = { "obj" }, body = 
     1.7 -        "return obj != null && obj.$instOf_java_lang_String && "
     1.8 +        "return obj != null && obj['$instOf_java_lang_String'] && "
     1.9          + "this.toString() === obj.toString();"
    1.10      )
    1.11      public boolean equals(Object anObject) {