This package contains classes which support BPEL validation.
The main class is AeDefValidationVisitor, which is based on our definition
visitor interface. It visits all the definition objects and verifies
them as being bpel compliant as well as checking that all internal
and external references can be resolved. The IAeErrorreporter class
is supplied by callers so they can create customized erorr handlers for logging, etc.