Changing Java Version

Due to an update of windows the changing of the Java version does not work anymore. It seems that simply changing an environment variable that is part of the windows PATH does not change the PATH. Therefore we have to also add the path to the Java to use.

doskey j7 = set JAVA_HOME=%JAVA_HOME_7%^&& set PATH=%JAVA_HOME_7%\bin;%PATH%

instead of

doskey j7 = set JAVA_HOME=%JAVA_HOME_7%