A timer in Java.