servlet.tex and REST-service.tex polished off and finished for first handin.