Fix INSTALL about Java 7