debian package doesn't provide java8-runtime like openjdk-11-jre from debian does

[tik-stbuehler]

Describe the bug

Installing tomcat8 or tomcat9 in debian only works with the openjdk packages provided by debian.

E.g. tomcat9-common depends on default-jre-headless | java8-runtime-headless | java8-runtime.

(Sadly the tomcat init script additionally fails to find the corretto jdk as it only checks /usr/lib/jvm/default-java for possible JAVA_HOME values)

To Reproduce

Purge openjdk, install coretto 11 debian package, then install tomcat - openjdk will be installed again, and tomcat will use it by default.

Expected behavior

java-11-amazon-corretto-jdk should provide java8-runtime in addition to java11-runtime to be compatible with the debian packaging.

Platform information

OS: debian stretch

Additional context

The following in /etc/default/tomcat8 should help tomcat finding corretto (or whatever is configured in debian alternatives for java):

JAVA_HOME=$(dirname "$(dirname "$(readlink -f "$(which java)")")")

[BrianRossmajer]

I'm having the same problem with maven, which wants default-jre-headless | java7-runtime-headless which is provided by openjdk-11-jre-headless per https://packages.ubuntu.com/bionic/java/maven

[ziyiluo]

@tik-stbuehler @BrianRossmajer

The provide issue has been addressed by this recent commit and is planned to be released in January 2020.