Consistent servlet naming