fiddle with wording of Linux JDK warning in FAQ