Java agent allowing to instrument applications in order to provide automated logging servers (package, class, method levels) and design-by-contract like checking of pre- and post-conditions. More