[GitHub] [jackrabbit-filevault] reschke commented on a diff in pull request #257: JCRVLT-666: improve performance of DefaultWorkspaceFilter.dumpCoverage (Session variant)

reschke commented on code in PR #257: URL: https://github.com/apache/jackrabbit-filevault/pull/257#discussion_r1032622587 ## vault-core/src/main/java/org/apache/jackrabbit/vault/fs/api/WorkspaceFilter.java: ## @@ -146,8 +146,7 @@ void dumpCoverage(@NotNull Node rootNode,

[GitHub] [jackrabbit-filevault] reschke commented on a diff in pull request #257: JCRVLT-666: improve performance of DefaultWorkspaceFilter.dumpCoverage (Session variant)

reschke commented on code in PR #257: URL: https://github.com/apache/jackrabbit-filevault/pull/257#discussion_r1032613650 ## vault-core/src/main/java/org/apache/jackrabbit/vault/fs/config/DefaultWorkspaceFilter.java: ## @@ -580,27 +581,49 @@ public void