changed back to jdk 1.7