Fix error with servlets resolution.