Test whether apt-get install openjdk-7-jre is required