bugfix: no longer necessary to update specification-version.txt by hand; it's not filtered by maven-resources-plugin