Better parsing of servlets' configuration.