RFR: 6447816: Provider filtering (getProviders) is not working with OR'd conditions [v2]

[Weijun Wang]

On Wed, 7 Sep 2022 17:43:52 GMT, Valerie Peng <valeriep at openjdk.org> wrote:

>> Maybe. But, while all providers is usually non-empty, it could be if a user remove all of them. I understand this is a just corner case.
>
> So, is it about empty all Providers or empty filter map? I only added the check on latter. Are you suggesting to add a check for the former?

Maybe the former. I just don't want this method to return an empty array, whatever the reason is.

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

PR: https://git.openjdk.org/jdk/pull/10008