static void web_addStrings(WebNode node, Collection<S> labels) {
  node.addStrings(labels);
}