JDK 5 javac is apparently buggy; @Override should be allowed on methods implemented from an interface.