fix some JDK/JRE troubles; website/installation_guide bump