Some doc improvements and build changes to the Java 8 patch.