[jetty-user] Issue re mapping Servlet to path "" + Eclipse Mailing List Down?

Hi,

PS: this page to subscribe to the regular Jetty user mailing list is
showing an error: https://dev.eclipse.org/mailman/listinfo/jetty-users

My main issue is the Default Servlet in Jetty 8.0.4.v20111024

@WebServlet("") incorrectly causes the servlet to not be visible in my web
app.

@WebServlet("/") correctly causes the servlet to be the default servlet and
hide all static resources.  I want to use @WebServlet("") because I do not
want my servlet to hide static resources while still being available as the
servlet that responds to the site base URL.

I do not want to maintain a web.xml.

The specification seems to imply that Jetty has a bug in how it incorrectly
ignores servlets with @WebServlet("") annotation.  Please see this link for
a discussion that seems to be reasonably authoritative and implies that
such a servlet should not be ignored and it should not hide static
resources either.  Link: http://www.java.net/node/700651?force=613

Sincerely.