public Intr(Thread t, int mSec) { System.out.println("Intr.<init>: Thread " + t); t.setPriority(Thread.MAX_PRIORITY); t.setName("TimedThread"); timedThread = t;
public Intr(int mSec) {
	public Intr(Thread t, int mSec) {		System.out.println("Intr.<init>: Thread " + t);		t.setPriority(Thread.MAX_PRIORITY);		t.setName("TimedThread");		timedThread = t;		time = mSec;	}