Push changes related to servlet config that I did