static HashMap web_addNodesToWeb(Collection nodes, Web w) { new HashMap map; if (empty(nodes)) ret map; Web web = first(nodes).web; for (WebNode node : nodes) map.put(node, cloneNodeToWeb(node, w)); for (Pair p : keys(web.relations)) { WebNode a = map.get(p.a), b = map.get(p.b); if (a != null && b != null) w.getRelation(a, b).addLabels(web.getRelation(p).labels()); } ret map; }