Use mocking in servlet spec