int (@NotNull FileEditorLocation fileEditorLocation) { TextEditorLocation otherLocation = (TextEditorLocation)fileEditorLocation; if (myEditor != otherLocation.myEditor) { Logger.getInstance(TextEditorLocation.class).error("Different editors: " + myEditor + "; and " + otherLocation.myEditor); } return myPosition.compareTo(otherLocation.myPosition); }