Classes for debugging and profiling the BDD package.

Note that most of the classes in this package are for JDD developers only and are not meant to be used by the end users (end developers ?)