Re: [basex-talk] how to start and configure Jetty?