Remove extra @Override annotation that causes an error in Java 5.