184185186187188189190191
@Override public final DoorKnownList getKnownList() { if(super.getKnownList() == null || !(super.getKnownList() instanceof DoorKnownList)) setKnownList(new DoorKnownList(this)); return (DoorKnownList)super.getKnownList(); }