boolean (Editor editor) { final List<RangeHighlighter> hl = editor.getUserData(HIGHLIGHTERS_KEY); if (hl != null) { if (hl.isEmpty()) { return false; } return purgeInvalidHighlighters(editor, hl); } return false; }