static Web web_cloneWeb(Web web) {
  new Web w;
  w.parseLabels = web.parseLabels;
  new HashMap<WebNode, WebNode> map;
  for (WebNode node : web.nodes) {
    WebNode n = w.newNode();
    n.addLabels(node.labels);
    map.put(node, n);
  }
  for (Pair<WebNode> p : web.relations) {
    WebNode rel = w.getRelation(map.get(p.a), map.get(p.b));
    rel.addLabels(web.getRelation(p).labels);
  }
  ret w;
}