@Deprecated
  @SuppressWarnings("DeprecatedIsStillUsed")
  void addURL(URL url) {
    push(Collections.singletonList(url));
  }
@Deprecated
  @SuppressWarnings("DeprecatedIsStillUsed")
  void addURL(URL url)