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