webAppE.appendChild(servletMappingE);
}
}
// <session-config>
SessionConfigImpl sessionConfig = webAppImpl.getSessionConfig();
if (sessionConfig != null) {
Element sessionConfigE = doc.createElement("session-config");
addTextElement(sessionConfigE, "session-timeout", sessionConfig.getSessionTimeout());
webAppE.appendChild(sessionConfigE);
}
// <mime-mapping>
MimeMappingImpl[] mimeMappings = webAppImpl.getMimeMappings();