DocumentationContext documentationContext = JEEDocumentationUtils.getDocumentationContext(config.getServletContext());
if (documentationContext != null){
for (Object documentationType: documentationContext.getDocumentationTypeNodes().keySet()){
BoostedNode servletChapter = documentationContext.getDocumentationTypeMap(documentationType, false).get( WebXml.SERVLET_TAG + config.getServletName());
if (servletChapter == null){
logger.info("Did not write a servletChapter for documentationType " + documentationType+
". Did not find "+ WebXml.SERVLET_TAG + config.getServletName()+
" in keys "+ documentationContext.getDocumentationTypeMap(documentationType, false).keySet()+
". Either the documentation type needs no servlet chapter or the initialization has probably not been correct. (Maybe an error in the SoftwareDocumentationListener)" );