We need to run Tomcat7 on JRE7 on Debian 9.
The Debian Java FAQ doesn't explain how to do this at
https://www.debian.org/doc/manuals/debian-java-faq/ch3.en.htmlnor at
https://www.debian.org/doc/manuals/debian-java-faq/ch8.en.htmlIn particular, after " sudo apt-get update", "update-java-alternatives --list" shows only:
java-1.8.0-openjdk-amd64 1081 /usr/lib/jvm/java-1.8.0-openjdk-amd64
I also tried:
sudo apt-get install openjdk-7-jre
Reading package lists... Done
Reading state information... Done
Package openjdk-7-jre is not available, but is referred to by another package.
This may mean that the package is missing, has been obsoleted, or
is only available from another source
E: Package 'openjdk-7-jre' has no installation candidate
How can I downgrade to OpenJDK 7?
FWIW: uname -a
Linux ip-10-0-0-225 4.9.0-7-amd64 #1 SMP Debian 4.9.110-3+deb9u1 (2018-08-03) x86_64 GNU/Linux
Cheers,
David