make jdk 1.7 the minimum runtime environment for the F2 plugins