Fix a bug with javadoc for java version prior to 8.