I would like to upgrade my main system to 16.04, but I work on projects that require OpenJDK 7. Apparently it is not available from a trivial apt-get install openjdk-7-jdk. Only versions 8 and 9 are listed in the repository. Can anyone point me to instructions on how to install it?