get java executable path in a portable way