public static <T> ElementOrder<T> wrapOrder(com.google.common.graph.ElementOrder<T> order) {
    switch (order.type()) {
      case STABLE:
        return ElementOrder.stable();
      case INSERTION:
        return ElementOrder.insertion();
      case SORTED:
        return ElementOrder.sorted(order.comparator());
      case UNORDERED:
      default:
        return ElementOrder.unordered();
    }
  }
public static <T> ElementOrder<T> wrapOrder(com.google.common.graph.ElementOrder<T> order)