From 120bdf50573b22b2e0e24f96ca5ad091e4a23680 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 5 Apr 2006 20:39:02 +0000
Subject: [PATCH] Check in the Object class file

---
 Robust/src/ClassLibrary/Object.java | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 Robust/src/ClassLibrary/Object.java

diff --git a/Robust/src/ClassLibrary/Object.java b/Robust/src/ClassLibrary/Object.java
new file mode 100644
index 00000000..45736237
--- /dev/null
+++ b/Robust/src/ClassLibrary/Object.java
@@ -0,0 +1,9 @@
+public class Object {
+    public native int hashcode();
+
+    public boolean equals(Object o) {
+	if (o==this)
+	    return true;
+	return false;
+    }
+}
-- 
2.34.1