fix DNS cache explanation in "Java VM Options You Should Always Use in Production" post