echo " jre leaf dir: \"$jreleaf\""
case "$jreleaf" in
jre) echo " found jre directory, good";;
+ java-*) echo " found java directory, good";;
jre1.*) echo " found versioned jre directory $jreleaf, ok";;
*) nojre "java binary not in jre dir ($jreleaf)";;
esac