requiring jdk 7