Remove some @Override annotations that clash with Java 1.5’s compiler.