public void setDoc(Document document) { predictionPanel.clear(); doc = document; tvPanel.clearHighlights(); displayRawText(); predictionPanel.redraw(); fileNameField.setText(doc.getDocumentId()); }