only jdk7 will run coverity