public @NotNull JavaValueFilter withStack(List<ExceptionAnalysisProvider.StackLine> lines) {
    return new JavaValueFilter(myDfaFilter, StackFilter.from(lines));
  }
public @NotNull JavaValueFilter withStack(List<ExceptionAnalysisProvider.StackLine> lines)