code: @Override
      protected void doGet(HttpServletRequest req, HttpServletResponse resp)
              throws ServletException, IOException {
          String pathInfo = req.getPathInfo();
          if ( pathInfo == null ) {
              String dbg = req.getRequestURI();
              resp.sendRedirect(dbg +"/");
              return;
          }
          Resource resource = null;
          if ( "".equals(pathInfo) || "/".equals(pathInfo) ) {
              resource = dynamicResourceManager.getResource(pathInfo + "index.html");
          } else {
              resource = dynamicResourceManager.getResource(pathInfo);
          }
          if ( resource != null) {
              Long contentLength = resource.getContentLength();
              if ( contentLength != null ) {
                  resp.setContentLength((int)contentLength.longValue());
              }
              byte bytes[] = null;
              if ( resource instanceof DynamicResourceManager.MyResource) {
                  bytes = ((DynamicResourceManager.MyResource) resource).getBytes();
              } else if ( resource.getFile() != null ) {
                  bytes = FileUtil.readFully(resource.getFile());
              }
              // FIXME: mimetype, lastModified / 304
              if ( bytes != null ) {
                  ServletOutputStream out = resp.getOutputStream();
                  out.write(bytes);
                  out.flush();
                  out.close();
                  return;
              }
          }
          Log.Error(this,"Unhandled resource");
          unhandledGet(req,resp);
      }
docs: {
  facade = Actors.AsActor(ServletApp.class);
  ((ServletApp) facade).init();
  }*