Wrapper script to allow several different Java Virtual Machines to be installed
on the same system.