Using Java version 1.7 by default