/** Routine for monitoring timeout */ @Override public void run() { while (true) { if (gpsTimedOut()) { markBadPos(); distributeUpdate(); } EeINS.sleep(10000); } }