private static String makeName(XPathType s, Cardinality c) {
    return c.myType != null ? s.getName() + c.myType : "sequence of " + s.getName();
  }
private static String makeName(XPathType s, Cardinality c)