The JDK Tool plugin does not really offer a JDK Tool, it comes from the core. The plugin only offers a Oracle JDK installer, which implies a lot of concerns including licensing. We should rename the plugin and update the documentation to make it explicit
The JDK Tool plugin does not really offer a JDK Tool, it comes from the core. The plugin only offers a Oracle JDK installer, which implies a lot of concerns including licensing. We should rename the plugin and update the documentation to make it explicit
Acceptance criteria: * The plugin is renamed * Alias is added to the tool so that it does not use confusing "jdkInstaller" in JCasC