8687888990919293
return selectorTool; } @Override public PathMatcher getNodeSelector() { return new NodeKindMatcher( selectorTool.elementKindPicker.getSelectedElementKindSet()); }