public void addKeys(HashSet<? super String> allNames) {
    if (myAll != null) {
      allNames.addAll(myAll.keySet());
    }
    else if (myK != null) {
      allNames.add(myK);
    }
  }
public void addKeys(HashSet<? super String> allNames)