String () { for (int i = 1; ; i++) { String candidate = DEFAULT_FILE_NAME + i; if (!ContainerUtil.exists(myEditors, editorInfo -> editorInfo.getFile().getName().equals(candidate))) { return candidate; } } }