check ();
try { check (); } catch (Exception ignore) {}
    public void run () {	while (Thread.currentThread () == typechecker) {	    idleSeconds++;	    try {	        // for each idle minute, add 300 ms to sleeptime until 5 secs are reached.	        // (10 secs are reached after 30 minutes of idle state)	        // the above is all false.	        long sleeptime = 1500 + Math.min (idleSeconds*30, 3500);	        typechecker.sleep (sleeptime);	    } catch (InterruptedException x) {	        // app.logEvent ("Typechecker interrupted");	        break;	    }	    check ();	}    }