122123124125126127128129130131132
moduleElement.addChild(servletMappingElement); servletMappingElement.setName(serviceName); servletMappingElement.setPattern(pattern); } // commit modifications context.commit(); } finally { context.disconnect(); } }