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