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