-classpath '/home/j2ee-hudson/.hudson/jobs/sat4j release/workspace/2_0_4/org.sat4j.maxsat/target/classes:/home/j2ee-hudson/.m2/repository/commons-lang/commons-lang/1.0/commons-lang-1.0.jar:/home/j2ee-hudson/.hudson/jobs/sat4j release/workspace/2_0_4/org.sat4j.pb/target/org.sat4j.pb-2.0.4.jar:/home/j2ee-hudson/.hudson/jobs/sat4j release/workspace/2_0_4/org.sat4j.core/target/org.sat4j.core-2.0.4.jar:/home/j2ee-hudson/.m2/repository/commons-cli/commons-cli/1.0/commons-cli-1.0.jar:/home/j2ee-hudson/.hudson/jobs/sat4j release/workspace/2_0_4/org.sat4j.core/target/org.sat4j.core-2.0.4-tests.jar:/home/j2ee-hudson/.m2/repository/commons-logging/commons-logging/1.0/commons-logging-1.0.jar' -protected
-sourcepath
'/home/j2ee-hudson/.hudson/jobs/sat4j release/workspace/2_0_4/org.sat4j.maxsat/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_4/org.sat4j.maxsat/target/apidocs'
-doctitle
'SAT4J maxsat 2.0.4 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_4/org.sat4j.maxsat/../stylesheet.css'
-use
-version
-windowtitle
'SAT4J maxsat 2.0.4 API'