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.html nor at https://www.debian.org/doc/manuals/debian-java-faq/ch8.en.html
In 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 Building dependency tree 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
