From 2092d67cb55949f1826bf8fc295c4f0d52bf4198 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sun, 17 Apr 2011 08:23:44 +0000
Subject: [PATCH] changes

---
 Robust/src/buildscript | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 4af2cb7b..462291eb 100755
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -795,7 +795,7 @@ JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaSTM"
 elif $THREADFLAG
 then
 #threading java stuff
-JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaThread"
+JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaThread -classlibrary $ROBUSTROOT/ClassLibrary/Java"
 else
 #base java stuff
 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/Java"
-- 
2.34.1