tree cc19ac4207741a84788c93e08c0c7299fe65aeb2
parent 39a13263d46b8ffe4a749e09805e855ca80a0640
author Bertrand Delacretaz <bdelacretaz@apache.org> 1546852937 +0100
committer Bertrand Delacretaz <bdelacretaz@apache.org> 1546852937 +0100

-Dignore.javadocjdk ignores jdk9 requirement (which is not an issue if not building javadoc)