@@ -207,11 +207,11 @@ /* Java thread status for tools, * initialized to indicate thread 'not yet started' */ - private int threadStatus = 0; + private volatile int threadStatus = 0; private static synchronized long nextThreadID() { return ++threadSeqNumber; }