code: protected boolean isIgnoredDir(File dir) {
          // ignoring the workspace and the artifacts directories. Both of them
          // are potentially large and they do not store any secrets.
          String n = dir.getName();
          return n.equals("workspace") || n.equals("artifacts")
              || n.equals("plugins") // no mutable data here
              || n.equals(".") || n.equals("..");
      }
docs: Decides if this directory is worth visiting or not.