Wenn man mehrere Java-Versionen auf seiner Kiste hat, ist es ganz einfach die Versionen zu wechseln, zumindest unter (k)ubuntu/Debian:
oliver@nebuchadnezzar:~$ sudo update-alternatives --config java Password: There are 3 alternatives which provide `java'. Selection Alternative ----------------------------------------------- + 1 /usr/lib/jvm/java-gcj/bin/java 2 /usr/bin/gij-wrapper-4.0 * 3 /usr/lib/j2re1.5-sun/bin/java Press enter to keep the default[*], or type selection number: