code: @Override
      public void addIntHeader(String name, int value) {
  
          addHeader(name, String.valueOf(value));
      }
docs: Method overload from the standard HttpServletRequest API.<p>
  
  @see javax.servlet.http.HttpServletResponse#addIntHeader(java.lang.String, int)