Avoid JDK warning when checking the exec provider#895

Merged

gnodet merged 1 commit intojline:masterfrom gnodet:avoid-warning-when-checking-exec

Nov 2, 2023

+1-1

Commits on Nov 2, 2023

Avoid JDK warning when checking the exec provider
gnodet
committed