Re: [basex-talk] web.xml changed in BaseX 90 to servlet 4.0