code: public void redirect(String url) throws IOException {
          endChangesIfNecessary();
          ResponseWriter writer = getWrapped();
          writer.startElement("redirect", null);
          writer.writeAttribute("url", url, null);
          writer.endElement("redirect");
      }
docs: <p class="changed_added_2_0">Write a redirect operation.</p>
  
  @param url URL to redirect to
  @throws IOException if an input/output error occurs
  @since 2.0