Updating servlet api to 3.1. Ensure that resources do not get logged twice on startup.