Checker Framework and jdk 7 builds