switched to java 7