buffer.append("<h1>" + NavigatorMessages.getString("NAV_TypeVault_Header") + "</h1>");
buffer.append(NavigatorMessages.getString("NAV_TypeVault_Message", moduleLink));
buffer.append("<br><br><tt>");
ModuleName moduleName = ModuleName.make(url.getBase());
MetaModule module = owner.getPerspective().getMetaModule(moduleName);
SortedSet<TypeConstructor> entities = new TreeSet<TypeConstructor>(new ScopedEntityComparator());
int count = module.getTypeInfo().getNTypeConstructors();
for (int n = 0; n < count; n++) {
entities.add(module.getTypeInfo().getNthTypeConstructor(n));
}
for (final ScopedEntity entity : entities) {
NavAddress entityAddress = NavAddress.getAddress(entity);
buffer.append(getLinkHtml(entityAddress, NavAddressHelper.getDisplayText(owner, entityAddress, ScopedEntityNamingPolicy.UNQUALIFIED)));