585960616263646566
return state; } synchronized void updateState(AgentState state) { final AgentState oldState = this.state; this.state = state; firePropertyChange(PROPERTY_STATE, oldState, this.state); }