JDK unter Windows: EXE-Name