Updating INSTALL.md for JDK 7