private static void cleanup(Editor editor) {
    editor.putUserData(Holder.LISTENER_ADDED, null);
    editor.removeEditorMouseMotionListener(Holder.MOUSE_MOTION_LISTENER);
    for (RangeHighlighter rangeHighlighter : editor.getMarkupModel().getAllHighlighters()) {
      if (rangeHighlighter.getUserData(Holder.TOKEN_NAME) != null) rangeHighlighter.dispose();
    }
  }
private static void cleanup(Editor editor)