context.getDebugObject().pauseModel() ;
context.getDebugObject().pauseModel(); timeSlider.refreshTime() ;
	private void pauseButtonMouseClicked(java.awt.event.MouseEvent evt) {//GEN-FIRST:event_pauseButtonMouseClicked// TODO add your handling code here:		if (pauseButton.isEnabled()) {			context.getDebugObject().pauseModel() ;			pauseButton.setEnabled( false ) ;			playButton.setEnabled(true);		}		parent.refreshTree() ;	}//GEN-LAST:event_pauseButtonMouseClicked