renamed servlet module