jre: jdk is nonfree too
jre: correcting shell profile