4.0.0 net.java quickcheck-src-generator jar net.java quickcheck-all 0.6 quickcheck-src-generator org.apache.maven.plugins maven-compiler-plugin -proc:none org.apache.maven.plugins maven-eclipse-plugin true true .settings/org.eclipse.jdt.ui.prefs ../src/resources/eclipse/org.eclipse.jdt.ui.prefs .settings/org.eclipse.jdt.core.prefs ../src/resources/eclipse/org.eclipse.jdt.core.prefs