JDK-8249632: remove no-arg constructor from ToolProvider
JDK-8252882: Clean up jdk.javadoc and the related parts of jdk.compiler