make maven artifact name consistent with repository name (means name
change over earlier releases, but having the "-jdo-" in the name is
clearer what it is for)