static void web_setTexts(WebNode node, L<S> labels) {
  if (node == null) ret;
  web_setLabels(node, node.web.parseLabels(labels));
}