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