OpenJDK 1.7.0_65 and 1.8.0_11

This change adds documentation of the OpenJDK 1.7.0_65 and 1.8.0_11
builds.  In addition it makes changes that got missed during the
vagrant rebuild.
Merge branch 'openjdk-1.8.0_11'