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