check in code

diff --git a/Robust/src/ClassLibrary/ThreadDSM.java b/Robust/src/ClassLibrary/ThreadDSM.java
new file mode 100644 (file)
index 0000000..3008a06
--- /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();
+}