if (servletDef.getDisplayName() == null) { servletDef.setDisplayName(evp.getValue().stringifyValue());
if (servletDef.getDisplayName() == null) { servletDef.setDisplayName(evp.getValue().stringifyValue());
if (servletDef.getDisplayName() == null) { servletDef.setDisplayName(evp.getValue().stringifyValue());
servletDef.getDescription()); appendElement(sb, INDENT4, "display-name", servletDef.getDisplayName()); appendElement(sb, INDENT4, "servlet-name", entry.getKey()); appendElement(sb, INDENT4, "servlet-class",
servletDef.getDescription()); appendElement(sb, INDENT4, "display-name", servletDef.getDisplayName()); appendElement(sb, INDENT4, "servlet-name", entry.getKey()); appendElement(sb, INDENT4, "servlet-class",
servletDef.getDescription()); appendElement(sb, INDENT4, "display-name", servletDef.getDisplayName()); appendElement(sb, INDENT4, "servlet-name", entry.getKey()); appendElement(sb, INDENT4, "servlet-class",