[jbosstools-dev] Switching to Java 17