Comment 85 for bug 1368094

For more info on the Jenkins issue, see the bug report:
https://issues.jenkins-ci.org/browse/JENKINS-43492 - closed as "not a bug":-(
... and the blog post it mentions:
https://jenkins.io/blog/2017/04/10/jenkins-has-upgraded-to-java-8/

This makes it impossible to run Jenkins under Ubuntu 14.04 with OpenJDK. Even the LTS branch of Jenkins will switch to requiring Java 8 in June according to the blog. I could pin the package, but then no security updates for Jenkins. There have been quite a few security updates to Jenkins recently, so I really don't want to do that...