Replacement for the previous MavenCentral merge request.
Tested OK:
But not released yet.
It will have to be done again for release 1.3.9 I guess.