allow threads to request abort

diff --git a/Robust/src/ClassLibrary/JavaSTM/Thread.java b/Robust/src/ClassLibrary/JavaSTM/Thread.java
index 50c5580f8f626db089f45c775e4c7eec5d45acbf..d74b50f0f585b6f12d5d15946dc5d93d3e845cc1 100644 (file)
--- a/Robust/src/ClassLibrary/JavaSTM/Thread.java
+++ b/Robust/src/ClassLibrary/JavaSTM/Thread.java
@@ -5,6 +5,9 @@ public class Thread {
     nativeCreate();
   }
 
+  public static native void abort() {
+  }
+
   private static void staticStart(Thread t) {
     t.run();
   }