servlet module update