code: public void annotation(String annotation) throws IOException {
      indent();
      out.write("@");
      type(annotation);
      out.write("\n");
    }
docs: Annotates the next element with {@code annotation}. The annotation has no
  attributes.