Control: severity 931424 important As documented in
https://lists.debian.org/debian-java/2019/07/msg00009.html the openjdk-13 packages (and follow-up non OpenJDK LTS releases should get a little bit more exposure. We just should make sure that these packages are not part of any Debian release.
