}
try {
processIntention(element, editor);
} catch (IntentionExecutionException e) {
HintManager hintManager = HintManager.getInstance();
if (e.getStartOffset() >= 0 && e.getLength() > 0) {
int start = element.getTextOffset() + e.getStartOffset();
int end = start + e.getLength();
editor.getCaretModel().moveToOffset(end);
editor.getSelectionModel().setSelection(start, end);
}
hintManager.showErrorHint(editor, e.getMessage());
}
}