Override "default" servlet.