I have a better solutin, at least on Windows. Just install Java 7, and redirect your launch.bat to the java 7 exe instead of just "java", You have to find the Java 7 exe, but if you check the "change install directory" box on the first page of the installer, it'll tell you where it'll put Java 7 and from there, it should be pretty simple to find the exe. Not sure how well this would work on Mac/Linux though. Have to try those out later.