tree 993cfc2bd7bb9b168ba6cabf6fc51edb928c6ae8
parent 9a9304e9d2727065f3314aca461f5fd356810a47
author Luca Milanesio <luca.milanesio@gmail.com> 1739314967 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1739314967 +0000

Adapt plugin scanner to the latest master avoiding Enumeration

The latest Gerrit master moved away from Enumeration
following the switch to Java 21 and adopted Stream instead.

Change-Id: Ic9e3fd2f87214735d2e6b1770ca5102f791336d4