Page History
...
If you are using a recent version of Ubuntu (e.g. 16.04LTS or later), OpenJDK 7 is harder and harder to find. However, there are still some PPAs that have unmaintained copies (i.e. no security patches). This is good enough for installing on something like vagrant-dspace just do perform the release. Here's a PPA that has worked (as of July 2017):
Code Block # Install the add-apt-repository command (if not available) sudo apt install software-properties-common # Add ina PPA that has old 7 versions of OpenJDK sudo add-apt-repository ppa:openjdk-r/ppa sudo apt-get update # Install OpenJDK 7 sudo apt-get install openjdk-7-jdk # Switch which Java alternative is in use (and select OpenJDK 7) # OBVIOUSLY, YOU SHOULD MAKE SURE TO SWITCH BACK AFTER THE RELEASE IS COMPLETE update-alternatives --config java # Check that the settings are now correct java -version
...
Overview
Content Tools