Source: dogtag-pki Severity: important Debian Stretch will not include tomcat7, dogtag-pki will have to migrate to tomcat8.