code: protected void handleOptions(HttpServletRequest request,
                                HttpServletResponse response)
          throws IOException
      {
          // Handle OPTIONS request for entire server
          if ("*".equals(request.getRequestURI()))
          {
              // 9.2
              response.setIntHeader(HttpFields.__ContentLength,0);
              response.setHeader(HttpFields.__Allow,__AllowString);                
              response.flushBuffer();
          }
          else
              response.sendError(HttpResponse.__404_Not_Found);
      }
docs: /* ------------------------------------------------------------