- fixed: HRMConfig: code cleanup
- fixed: Elector: code cleanup, aligned code with documentation
- fixed: Elector: aligned doc./naming with concept description
- fixed: Coordinator: code cleanup
- fixed: debug output
- fixed: HRMAPI: code cleanup
- fixed: Elector: doc.
- added: ComSession: allow to enforce eventSessionInvalidated() to
invalidate the session - even if there are still comm. channels
- fixed: HRMController: avoid blocking in large scenarios with repeated
simulation starts by doing a correct cleanup of all deprecated threads
- fixed: AnnounceCoordinator: code cleanup
- fixed: InvalidCoordinator: code cleanup
- fixed: HRS: code cleanup
- fixed: ARG: code cleanup
- fixed: ClusterName: code cleanup
- fixed: ComChannel: code cleanup
- fixed: ComChannelPacketMetaData: code cleanup
- fixed: ComSession: code cleanup
- added: ComChannel: getStateStr()
- added: HRMController: track number of pending connection creations
- fixed: Coordinator: removed explicit call to GC, code cleanup, less
debug outputs