win32: search in jre/bin/server in case the user has set JAVA_HOME manually to JDK which has embedded JRE (c.f. #10)