Trouble downgrading to OpenJdk 7 on Debian 9

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-alterna

Re: Trouble downgrading to OpenJdk 7 on Debian 9

Thanks for confirming that I didn't overlook something easy, Torsten. The .war files we run in Tomcat7 use 3rd party code that is no longer supported and which behaves unpredictably on Java 8. As a workaround, I'll run this Tomcat on a dedicated Ubuntu 16-04 server until we can transition off thi