HTMLElement divElement = generateDivElement(element.getId(),
IIntroHTMLConstants.DIV_CLASS_PROVIDED_CONTENT, indentLevel);
// If we've already loaded the content provider for this element,
// retrieve it, otherwise load the class
IIntroContentProvider providerClass = ContentProviderManager.getInst().getContentProvider(element);
if (providerClass == null)
// content provider never created before, create it.
providerClass = ContentProviderManager.getInst().createContentProvider(element, providerSite);
if (providerClass != null) {
StringWriter stringWriter = new StringWriter();
PrintWriter pw = new PrintWriter(stringWriter);
// create the specialized content
providerClass.createContent(element.getId(), pw);
// add the content of the specified file into the div element
stringWriter.flush();
divElement.addContent(stringWriter.toString());
pw.close();
} else {