fix servlet config