Make Javadoc work on Java 8+9, make target version configurable.