The jGAB2L Core module provides a lot of utilities (data accessors, priority queues, invariant chcking support).