fix servlet tests