JSelect Small tool that allows to switch JDK versions. It defines JDK_HOME/PATH variables and starts xterm on Linux/Unix and cmd.exe on Windows. Webpage: https://mihosoft.eu/?p=649