Document requirement for Java 7