Do we want to include copies of configuration files with the .dist extension in the IdPv3 distribution ? It looks like a fairly straightforward maven-antrun-plugin in the idp-distribution POM might do the trick.