Add @Override annotations

@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.