Package: wadc Version: 2.2-1 Severity: minor The JRE dependency is currently: openjdk-8-jre | java8-runtime
This should instead be: default-jre | java8-runtime This would avoid apt preferring a non-default JRE (currently openjdk-9-jre is the default).
