URL Mapping of "/*"

[Gerald Gutierrez]

When I map a servlet to /*, and I go to a URL /hello, should not:

ServletPath = /
PathInfo = hello

???

Instead I get:

ServletPath = /hello
PathInfo = null

If the servlet is not mapped to /*, but instead to /abc/*, then the URL 
/abc/hello produces:

ServletPath = /abc
PathInfo = /hello


This feels like a bug to me.