public RtfTreeNavigator(RtfTreeNavigator that) { this.events = that.events; this.constr = that.constr; this.nameTable = that.nameTable; }