making java 8 javadoc lint even happier