Don't require JDK 8 for non-dist target, and fix JDK 8 javadoc CSS with regexps.