question: removes the given state machine from runtime service . concode_field_sep ReentrantReadWriteLock lock concode_elem_sep TimerTask timerTask concode_elem_sep Timer timer concode_elem_sep List<IStatemachine> statemachineSet concode_field_sep void cancel concode_elem_sep void run concode_elem_sep boolean addStatemachine
target: boolean function ( IStatemachine arg0 ) { lock . writeLock ( ) . lock ( ) ; boolean loc0 = statemachineSet . remove ( arg0 ) ; lock . writeLock ( ) . unlock ( ) ; return loc0 ; }