updated docs for Java 1.7