servlet modifications