Switch to JRE 1.7