private static String toHomePath(Path path) {
		Path home = getHome();
		if (path.startsWith(home)) {
			if (Util.isWindows()) {
				return "%userprofile%\\" + home.relativize(path);
			} else {
				return "$HOME/" + home.relativize(path);
			}
		} else {
			return path.toString();
		}
	}
Makes a best guess if JAVA_HOME should be set by us or not. Returns true if
no JAVA_HOME is set and javac wasn't found on the PATH and we have at least
one managed JDK installed by us. Otherwise it returns false.
src/main/java/dev/jbang/cli/App.java