add detection of JRE server (JRE on Windows Server)

fixes #3928