All of the installation instructions reference using apt-get to install the default-jre package, which is fine, but as of this writing that installs OpenJDK Java 1.8.0_171. One of our applications has trouble with this version and the vendor is telling us that the last version they certify is 1.8.0_131. We have other servers in production with that version, but we can't seem to find a download or way to specify the _131 version when installing on a new server. Is there a repository of older versions of packages we can pull from and install manually? Any way to "copy" an installed package from one machine to another?