On Wed, 7 Sep 2022 17:43:52 GMT, Valerie Peng <valer...@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

Reply via email to