Trivial changes for JavaDoc 8 to avoid build errors while following install instructions (with Java 8).