static TreeSet<S> caseInsensitiveSet() {
  ret new TreeSet(String.CASE_INSENSITIVE_ORDER);
}

static TreeSet<S> caseInsensitiveSet(Collection<S> c) {
  ret toCaseInsensitiveSet(c);
}