public void setDoc(Document document) {
    predictionPanel.clear();

    doc = document;

    tvPanel.clearHighlights();
    displayRawText();

    predictionPanel.redraw();
    fileNameField.setText(doc.getDocumentId());
  }
 /** clears the raw text panel of all highlights */
 public void clearHighlights() {
   tvPanel.clearHighlights();
 }