We should upgrade to the newest versions of openjdk. Openjdk8 is old and is starting to present problems with the CI - see #89