protected final void setState(String new_) { if (state == new_) return; if (aruntime.debug) aruntime.threadStateChange(this, state, new_); // if (stateQ.isFull()) stateQ.dequeue(); // temporary // stateQ.enqueue(state); // temporary state = new_; }