From eb7d267b48afc02bcdff5799d9c064ceb6c2b814 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sun, 18 Oct 2009 09:54:26 +0000
Subject: [PATCH] allow threads to request abort

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

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