From 8d253621d181938092b8db0be0bd919c1b909470 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 10 Aug 2007 08:03:28 +0000
Subject: [PATCH] check in code

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

diff --git a/Robust/src/ClassLibrary/ThreadDSM.java b/Robust/src/ClassLibrary/ThreadDSM.java
new file mode 100644
index 00000000..3008a067
--- /dev/null
+++ b/Robust/src/ClassLibrary/ThreadDSM.java
@@ -0,0 +1,15 @@
+public class Thread {
+    public void start() {
+	nativeCreate();
+    }
+
+    private static void staticStart(Thread t) {
+	t.run();
+    }
+
+    public native static void sleep(long millis);
+    
+    public void run() {}
+
+    private native void nativeCreate();
+}
-- 
2.34.1