add test for jdk-1.7 formula