int caretPos = editor.getCaretPosition();
document =
(IDocument<Object>) getModel().getAsDocument(
currentHighlighter.getDocumentClass());
if (document == null) {
throw new SymbolicModelException("Could not convert model to document!");
}
String text = (String) document.getContent();
if (text == null) {
throw new SymbolicModelException(
"Given model does not support a textual symbolic model!");
}
editor.setText(text);
editor.setCaretPosition(caretPos);
} catch (Exception e) {