RFR: 8241187: ToolBox::grep should allow for negative filtering [v4]

[Jonathan Gibbons]

On Tue, 11 May 2021 13:21:28 GMT, Guoxiong Li <gli at openjdk.org> wrote:

>> Or probably even simpler `s -> pattern.matcher(s).find() == match`
>
> Good idea. Fixed.

The first form is too cryptic. The second form is OK.

-------------

PR: https://git.openjdk.java.net/jdk/pull/1934