From 29b9f7dbebea676854ab72c3b7273780699267e6 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sun, 18 Oct 2009 09:54:59 +0000
Subject: [PATCH] change

---
 Robust/src/ClassLibrary/JavaSTM/Thread.java | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Robust/src/ClassLibrary/JavaSTM/Thread.java b/Robust/src/ClassLibrary/JavaSTM/Thread.java
index d74b50f0..0e26b69e 100644
--- 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();
-- 
2.34.1