-classpath '/home/j2ee-hudson/.hudson/jobs/sat4j release/workspace/2_0_2_FIXED/org.sat4j.csp/target/classes:/home/j2ee-hudson/.hudson/jobs/sat4j release/workspace/2_0_2_FIXED/org.sat4j.core/target/org.sat4j.core-2.0.2.jar:/home/j2ee-hudson/.m2/repository/rhino/js/1.7R1/js-1.7R1.jar:/home/j2ee-hudson/.hudson/jobs/sat4j release/workspace/2_0_2_FIXED/org.sat4j.csp.xmlparser/target/org.sat4j.csp.xmlparser-2.0.2.jar' -protected
-sourcepath
'/home/j2ee-hudson/.hudson/jobs/sat4j release/workspace/2_0_2_FIXED/org.sat4j.csp/src/main/java'
-author
-bottom
'Copyright &copy; 2008 <a href="http://www.cril.univ-artois.fr/">Centre de Recherche en Informatique de Lens (CRIL)</a>. All Rights Reserved.'
-charset
'ISO-8859-1'
-d
'/home/j2ee-hudson/.hudson/jobs/sat4j release/workspace/2_0_2_FIXED/org.sat4j.csp/target/apidocs'
-doctitle
'SAT4J csp 2.0.2 API'
-group
'User level: stable public API' 'org.sat4j:org.sat4j.*'
-group
'Developer level: internal API&#44; subject to change' 'org.sat4j.minisat.*:org.sat4j.reader.csp:org.sat4j.pb.*'
-stylesheetfile
'/home/j2ee-hudson/.hudson/jobs/sat4j release/workspace/2_0_2_FIXED/org.sat4j.csp/../stylesheet.css'
-use
-version
-windowtitle
'SAT4J csp 2.0.2 API'