How to Switch Between Java Versions on Linux Without Breaking Things