Fixes a build error caused by an @Override in Java 1.4 source code. Reported by Jan Kaláb.