4.0.0 net.java quickcheck jar net.java quickcheck-all 0.6 quickcheck-core target/generated-sources/eclipse net.java quickcheck-src-generator ${version} org.easymock easymock 2.3 test org.easymock easymockclassextension 2.3 test org.codehaus.mojo build-helper-maven-plugin 1.4 add-source generate-sources add-source ${eclipse.generated.src} 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 .factorypath ]]> .settings/org.eclipse.jdt.apt.core.prefs