A search for the Java 7 SE documentation