change

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