- added script that toggles between Java webstart 7 (if installed) and
  the Java 6 version that's distributed by Apple.