Fixed javadocs problems (to please JDK8).