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