Switch back to java 1.7.