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