public String toString() {
    StringBuilder buf = new StringBuilder();
    buf.append("Stack: ").append(prefixes.size()).append('\n');
    for (int i = 0; i < prefixes.size(); i++) {
      buf.append(prefixes.get(i)).append("&").append(uris.get(i)).append('\n');
    }
    return buf.toString();
  }
public String toString()