fix servlet problem