Javadoc fix so it can be compiled on java 8.