jdoc aanpassing in servletcontext