Update to jdk 1.8. This seems to break the coverage plugin, so I just
removed it.