Clarify reason to stick with JDK 7.