tree 23519c85289ccb108dcefdadd7c1b98d5c3dff26
parent c7d0a614c599752ecc748b98ea65d1b5562f7cf0
author Jean-Louis Monteiro <jlmonteiro@tomitribe.com> 1656512001 +0200
committer Jean-Louis Monteiro <jlmonteiro@tomitribe.com> 1656512001 +0200

Fix for EE8 execution under JDK17 - hopefully does not break JDK8 and JDK11