mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
Merge branch 'update-commons-to-2-4-1' into update-jdk-11