allow different java versions on ubuntu, fix #1719
clean last parts of --auto, improve rvm help get, fix #1721