static Web webFromTripleWeb(TripleWeb w) {
  ret webFromTriple(w);
}