[javadoc] Generating Javadoc
  [javadoc] Javadoc execution
  [javadoc] Loading source files for package org.acmsl.contractchecker...
  [javadoc] Constructing Javadoc information...
  [javadoc] Standard Doclet version 1.4.1
  [javadoc] 
  [javadoc] Generating /home/chous/dev/contractchecker/target/docs/apidocs/constant-values.html...
  [javadoc] Copying file /home/chous/.maven/plugins/maven-javadoc-plugin-1.2/plugin-resources/stylesheet.css to file /home/chous/dev/contractchecker/target/docs/apidocs/stylesheet.css...
  [javadoc] Building tree for all the packages and classes...
  [javadoc] Building index for all the packages and classes...
  [javadoc] Building index for all classes...
  [javadoc] /home/chous/dev/contractchecker/src/java/org/acmsl/contractchecker/ContractCheckerAspectTemplateFactory.java:62: warning - @testcase is an unknown tag.
  [javadoc] /home/chous/dev/contractchecker/src/java/org/acmsl/contractchecker/ContractCheckerAspectTemplate.java:75: warning - @testcase is an unknown tag.
  [javadoc] /home/chous/dev/contractchecker/src/java/org/acmsl/contractchecker/ContractCheckerAspectTemplateGenerator.java:72: warning - @testcase is an unknown tag.
  [javadoc] /home/chous/dev/contractchecker/src/java/org/acmsl/contractchecker/ContractCheckerUtils.java:76: warning - @testcase is an unknown tag.
  [javadoc] Generating /home/chous/dev/contractchecker/target/docs/apidocs/help-doc.html...
  [javadoc] 4 warnings