added @fancellu's idea of using JAVA_HOME too to try discover tools.jar for #718