Update INSTALL.Ubuntu.rst

$ sudo apt-get install openjdk-6-jre doesn't work anymore. There is a new package called openjdk-7-jre.