diff -r 9979d55fe942 -r dd848ea32287 rt/emul/mini/src/main/java/java/lang/Class.java
--- a/rt/emul/mini/src/main/java/java/lang/Class.java	Wed May 28 15:18:23 2014 +0200
+++ b/rt/emul/mini/src/main/java/java/lang/Class.java	Mon Jun 09 18:21:37 2014 +0200
@@ -1627,7 +1627,7 @@
         // the ENUM bit set; classes for specialized enum constants
         // don't do the former.
         return (this.getModifiers() & ENUM) != 0 &&
-        this.getSuperclass() == java.lang.Enum.class;
+        this.getSuperclass().getName().equals("java.lang.Enum");
     }
 
     /**