Moved documentation (in part) from wiki to javadoc.
- Added comments to (some) interfaces
- Check-in of package documentation
more comments
Implemented the idea from last meeting (including a crucial enhancement)
Moved benchmarks to own package + bugfix in counter-example generation.
Replaced HashSet and HashMap with their Linked versions where necessary.
Update svn:ignore property
Transition Labels are now Strings.

This creates one problem: We can no longer share structure between
the relational and the state-based representation. (A transition in
the state-based model needs an instance of class Action as label).

The interface for creating state-based models also needs to be updated.
This is why there are errors in the build (which can be ignored for core
functionality).
Added a class to provide for transitions in the state based model. This fixes the build. Testing is not complete yet.
added intern method to class Action. Atm. data fields are ignored.
Several optimizations in the model checker.
Improved intern method (now optionally respects datafields) and commented the class.
First version of Yuriy's do-all-at-once policy. Still undone: One partition could be subject to several splits; atm, only one of them is done.
Bisim can now perform all splits at once, even on the same partition.
Added more comments and removed three unused classes.
Comments
Comments and renamings to make the code more understandable.
Updated JavaDoc
More comments and variable renamings.
Added paxos traces for 1/2 proposers and 3 acceptors for a single ballot. Also added a README describing log format.