Pieter Bos

With JDK10, this doclet no longer works due to the old API still being used, at least not when the -d option is used by the gradle plugin.