int tick = 0; public void disabled(){ while(isDisabled()){ System.out.println(tick++); System.err.println(tick++); Timer.delay(k_updatePeriod); } }