(module info (lib "infotab.ss" "setup")
  (define name "Web Server")
  (define mzscheme-launcher-libraries (list "launch.ss" "monitor-launch.ss"))
  (define mzscheme-launcher-names (list "web-server-text" "web-server-monitor"))

  (define mred-launcher-libraries (list "launch.ss"))
  (define mred-launcher-names (list "web-server"))
  
  (define tools (list (list "servlet-builder.ss")))
  (define tool-names (list "Servlet Builder"))
  (define tool-icons (list #f)))
