updated doctype to match the servlet version used