-
- fixed: Cluster: documentation
-
- fixed: HRMController: threading  reworked, create clusters within a
separate thread (for creating new connections)
- added: HRMController: named threads
- fixed: ControlEntity: eventNewHRMIDAssigned() for
CoordinatorAsClusterMember forwards assigned new HRMIDs to the
corresponding coordinator behind the CoordinatorAsClusterMember instance
- fixed: ControlEntity: correct equals() for CoordinatorProxy objects
- fixed: ControlEntity: registerAnnouncedCoordinatorARG() registers also
remote coordinators for a local level 0 cluster