String guid = servlet.getInitParameterSet().get("portlet-guid").getValue();
servletMap.put(guid, servlet);
ServletMappingImpl servletMapping = (ServletMappingImpl)mappings.get(servlet.getServletName());
if (mappings==null) {
throw new XmlException("No corresponding servlet mapping found for servlet name '"+servlet.getServletName()+"'");
}
((Support)servlet).postBuild(servletMapping);
}
}