To run the Java Application Verification Kit for the Enterprise static 
verification tools, see the instructions in the samples directory on 
running the Ant tasks. For more information, see the User's Guide in 
the documentation bundle.

