Test for Java version >=1.7 in main launcher script