moved to jdk 1.7