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