4.0.0 proofframework com.cedricom.preuves 2.0.24 Cedricom http://www.cedricom.fr proofserver war proofserver UTF-8 com.sun.xml.ws jaxws-ri 2.3.5 pom com.cedricom.preuves proof ${project.version} com.cedricom.preuves proofutils ${project.version} javax.servlet servlet-api 2.5 provided org.apache.maven.plugins maven-eclipse-plugin 2.4 false 1.5 maven-war-plugin 2.2 maven-compiler-plugin ${sourceJDK} ${sourceJDK} org.codehaus.mojo jaxws-maven-plugin 2.6 generate-wsdl process-classes wsgen com.cedricom.preuves.server.ProofServer true false