1.1 --- a/rt/emul/mini/src/main/java/java/lang/Object.java	Thu Aug 29 07:59:21 2013 +0000
     1.2 +++ b/rt/emul/mini/src/main/java/java/lang/Object.java	Sat Sep 07 13:56:22 2013 +0200
     1.3 @@ -125,12 +125,15 @@
     1.4       * @see     java.lang.Object#equals(java.lang.Object)
     1.5       * @see     java.lang.System#identityHashCode
     1.6       */
     1.7 +    public int hashCode() {
     1.8 +        return defaultHashCode();
     1.9 +    }
    1.10      @JavaScriptBody(args = {}, body = 
    1.11          "if (this.$hashCode) return this.$hashCode;\n"
    1.12          + "var h = this.computeHashCode__I();\n"
    1.13          + "return this.$hashCode = h & h;"
    1.14      )
    1.15 -    public native int hashCode();
    1.16 +    final native int defaultHashCode();
    1.17  
    1.18      @JavaScriptBody(args = {}, body = "return Math.random() * Math.pow(2, 32);")
    1.19      native int computeHashCode();