Fix JavaDoc syntax for Java 8.