Javadoc StateMachine