/**
  * Renders the annotation property into a paragraph in the page.
  *
  * @param page The page to insert the paragraph into.
  * @param annotation The annotation containing the property to be rendered.
  * @param defaultForeground The default foreground color.
  * @param defaultBackground The default background color.
  * @param isSelected Specifies whether the associated cell is selected or not.
  */
 private Paragraph renderAnnotationProperty(
     Page page,
     OWLAnnotation annotation,
     Color defaultForeground,
     Color defaultBackground,
     boolean isSelected) {
   OWLAnnotationProperty property = annotation.getProperty();
   String rendering = editorKit.getOWLModelManager().getRendering(property);
   Paragraph paragraph = page.addParagraph(rendering);
   Color foreground = getAnnotationPropertyForeground(defaultForeground, isSelected);
   paragraph.setForeground(foreground);
   //        if (isReferenceOntologyActive()) {
   //            paragraph.setBold(true);
   //        }
   if (annotation.getValue() instanceof OWLLiteral) {
     OWLLiteral literalValue = (OWLLiteral) annotation.getValue();
     paragraph.append("    ", foreground);
     appendTag(paragraph, literalValue, foreground, isSelected);
   }
   switch (annotationRenderingStyle) {
     case COMFORTABLE:
       paragraph.setMarginBottom(4);
       break;
     case COSY:
       paragraph.setMarginBottom(2);
       break;
     case COMPACT:
       paragraph.setMarginBottom(1);
       break;
   }
   return paragraph;
 }
 /**
  * Renders an annotation value that is an OWLLiteral.
  *
  * @param page The page that the value will be rendered into.
  * @param literal The literal to be rendered.
  * @param foreground The default foreground.
  * @param background The default background.
  * @param isSelected Whether or not the cell containing the annotation value is selected.
  * @return A list of paragraphs that represent the rendering of the literal.
  */
 private List<Paragraph> renderLiteral(
     Page page, OWLLiteral literal, Color foreground, Color background, boolean isSelected) {
   String rendering = EscapeUtils.unescapeString(literal.getLiteral()).trim();
   List<Paragraph> result = new ArrayList<>();
   if (rendering.length() > 0) {
     List<LinkSpan> linkSpans = extractLinks(rendering);
     Paragraph literalParagraph = new Paragraph(rendering, linkSpans);
     literalParagraph.setForeground(foreground);
     page.add(literalParagraph);
     result.add(literalParagraph);
     Paragraph tagParagraph = literalParagraph; // new Paragraph("");
     tagParagraph.append("    ", foreground);
     page.add(tagParagraph);
     result.add(tagParagraph);
     tagParagraph.setMarginTop(2);
     tagParagraph.setTabCount(2);
     //            appendTag(tagParagraph, literal, foreground, isSelected);
   }
   return result;
 }