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