static Set staticEmptySet() {
  ret Collections.EMPTY_SET;
}