Output tests immediately, not at the end of execution. Also started on a
search strategy that allows explicit checkpoints.
Trying to fix up checkpoints a little more
Oops, forgot some files.
Added some additional abilities to get info from JavaPlans. Used it to
start on state coverage collection ability.
Empty nodes should have a default end condition of TRUE, not FALSE.
Fixed some crucial bugs in the regression tester. Need to fix more, but
this turned up some problems with command end conditions.
Always include a testing snapshot method. No point in not having it.
Fixed notifications for library plans.
Stopped JAR building from stealing Eclipse's console every time