code: public List<Path> getDefaultUserIgnoreDirectories()
      {
          List<Path> paths = getOptionValue(DEFAULT_USER_IGNORE_DIRECTORIES_OPTION);
          if (paths == null)
          {
              return Collections.emptyList();
          }
          return Collections.unmodifiableList(paths);
      }
docs: Contains a default list of {@link Path}s with directories/files that contains files having regexes of file names to be ignored.