According to a bug in our bugzilla, you can edit server.xml. . .
but it looks like that bug is our of date, because I can't seem to locate where you would change it in server.xml. I'll ask around, but I think I remember hearing that it might be a violation of our license to change the URL pattern.
Better let me check on that, cuz I've been wrong.
john