always use the javahome.pl tool