public void m(Set<String> value) {
  <spot>value</spot>$key
}