[servlets] (bug-fix) HTML document type definition was not conformant to W3C standard