Generate external links to Java 7 API instead of Java 8 API

Due to Retrolambda use, we must use JDK 8 Javadoc tool (JDK 7 would produce errors from lambdas) but Java 8 APIs are not yet online, and anyways we want to pretend that this is all Java 7 code due to our minimum requirements.
Updated build instructions