int[] (EditorEx @NotNull [] editors) { return ReadAction.compute(() -> { int[] lineCount = new int[editors.length]; for (int i = 0; i < editors.length; i++) { lineCount[i] = getLineCount(editors[i].getDocument()); } return lineCount; }); }