extensionPropertiesSummaryRenderer.renderTo(extensionDoc, summarySection);
        }

        if (!hasProperties(classDoc)) {
            Element para = document.createElement("para");
            summarySection.appendChild(para);
            para.appendChild(document.createTextNode("No properties"));
        }
    }

    @Override
    public void renderDetailsTo(ClassDoc classDoc, Element parent) {