513514515516517518519520521522
public ObjectKnownList getKnownList() { if(_knownList == null) { _knownList = new ObjectKnownList(this); } return _knownList; }