correcting reference error in servlet.tex