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