KEK: switched Java version to 1.7.