Updated launchers for JDK7