private void writeNavSummaryLink(MemberSummaryBuilder builder,
            String label, int type) {
        AbstractMemberWriter writer = ((AbstractMemberWriter) builder.
            getMemberSummaryWriter(type));
        if (writer == null) {
              printText(label);
        } else {
            writer.printNavSummaryLink(null,
                ! builder.getVisibleMemberMap(type).noVisibleMembers());
        }
    }