fix terminology in "Java VM Options You Should Always Use in Production" post