Expanded "StateManager" interface with the "getEid" method, even though it was already implemented by the classes that implement the interface.
Expanded "StateManager" interface with the "getEid" method, even though it was already implemented by the classes that implement the interface.
bergerch/library,fmrsabino/library,fmrsabino/library,bft-smart/library,bft-smart/library,bergerch/library