Update INSTALL.Debian.rst

openjdk-7-jre is the latest version of the JRE package. openjdk-6-jre returns unable to find package.