fine-tuning of javadoc to conform to stricter java 8 requirements