X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FClassLibrary%2FObjectJava.java;fp=Robust%2Fsrc%2FClassLibrary%2FObjectJava.java;h=0000000000000000000000000000000000000000;hp=a9bf6f4dc8e573ec939704ea272b8fdc5aa6827c;hb=refs%2Ftags%2Fbuildscript;hpb=ac6191b514c0e54b468623bf868134e1ce809df5

diff --git a/Robust/src/ClassLibrary/ObjectJava.java b/Robust/src/ClassLibrary/ObjectJava.java
deleted file mode 100644
index a9bf6f4d..00000000
--- a/Robust/src/ClassLibrary/ObjectJava.java
+++ /dev/null
@@ -1,33 +0,0 @@
-public class Object {
-  public int cachedCode;   //first field has to be a primitive
-  public boolean cachedHash;
-
-  public native int nativehashCode();
-  private Object nextlockobject;
-  private Object prevlockobject;
-
-  public int hashCode() {
-    if (!cachedHash) {
-      cachedCode=nativehashCode();
-      cachedHash=true;
-    }
-    return cachedCode;
-  }
-
-  /* DON'T USE THIS METHOD UNLESS NECESSARY */
-  /* WE WILL DEPRECATE IT AS SOON AS INSTANCEOF WORKS */
-  public native int getType();
-
-  public native int MonitorEnter();
-  public native int MonitorExit();
-
-  public String toString() {
-    return "Object"+hashCode();
-  }
-
-  public boolean equals(Object o) {
-    if (o==this)
-      return true;
-    return false;
-  }
-}