Added java.exe as alternate binary name for Java

This fixes a bug where setting JAVA_HOME and/or JAVAHOME in Windows does not find the java executable.