A yet another Ubuntu/Debian-specific tool that makes switching between multiple JDK versions a one liner