@Override not supported when implementing interface methods in JDK 5 javac. (Spec compliance bug fixed in JDK 6 even for -source 5.)