blijft wat vreemd: de officiele java-updatesite geeft die nieuwe update niet aan. Zou die van filehippo dan wel zuivere koffie zijn? Gaat het misschien om een engelse versie?