@Override annotations should be added to every method that overrides a method from a superclass. This prevents problems after the superclass changes. Such changes might go unnoticed without the annotation.
Resolved with the help of Eclipse's "Cleanup" functionality.