if ( context != null )
if ( context != null && context.getDebugObject().isRunning() ) {
	public void refreshTime() {		if ( context != null )			timer.setText( " " + context.getTimeObject().getTimeMs() + " ") ;	}