Do whatever JBoss Web did. I don't see a really strong right or wrong answer here, so consistency with existing behavior trumps.