Amend Javadoc comments to fix errors when building with JDK 8.