}
this.timer = timerManagerImpl;
this.pendingStateChangeNotifs = new Counter(0);
try {
this.props = new SimpleResourcePropertySet(Constants_GT4_0.RP_SET);
this.props.add(new RP_Logistics(this));
this.props.add(new RP_Schedule(this));
this.props.add(new RP_ResourceAllocation(this));
this.props.add(new RP_CurrentTime(this));