Got rid of Java7-specific @Override.