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