docs: private static IFile getUserPreferencesFile(IProject project) {
          IFile defaultFile = project.getFile(DEFAULT_PREFS_PATH);
          IFile oldFile = project.getFile(DEPRECATED_PREFS_PATH);
          if (defaultFile.isAccessible() || !oldFile.isAccessible()) {
              return defaultFile;
          }
          return oldFile;
      }