Hansel

JUnit extension that instruments classes under test and verifies branch coverage. Runs functional tests first; then generates "Probes" (one per method/branch) that fail if not covered. Uses BCEL for instrumentation; Ant task and JUnit 4 support.