Do not download 7zip if it had previously been downloaded, for example
if this script had previously been run. And don't delete it at the end
of this script in case this script is run again. This is an attempt to
save time and bandwidth.
Rather than having a separate install_java.sh script for distributions
that use a different package manger, I updated install_java.sh to
handle package managers used by various Linux distributions.
