Can't build Javadoc with JDK 1.8 if explicit j15lib, j16lib and j17lib paths are set

We set these library properties to get better compile time checking of old level source using too new library contents. We should be able to build the Javadoc without unsetting them. It works with a JDK 1.7.