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