fix JavaDoc errors (to comply with Java 8 JavaDoc parser)