From 8cb58d3f2a923715ae372b432063fa57a9322564 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 14 Apr 2008 21:41:21 +0000
Subject: [PATCH] try to add join support

---
 Robust/src/ClassLibrary/Thread.java | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Robust/src/ClassLibrary/Thread.java b/Robust/src/ClassLibrary/Thread.java
index c44043bd..37278c68 100644
--- a/Robust/src/ClassLibrary/Thread.java
+++ b/Robust/src/ClassLibrary/Thread.java
@@ -1,4 +1,5 @@
 public class Thread {
+    private int threadid;
 
     public void start() {
 	nativeCreate();
@@ -8,6 +9,11 @@ public class Thread {
 	t.run();
     }
 
+    public void join() {
+    }
+
+    private native void nativeJoin();
+
     public native static void sleep(long millis);
     
     public void run() {}
-- 
2.34.1