Redo POM version number hardcoding

Using variable version numbers is very much unsupported in Maven 3.
Probably we'll need to write a script for release jobs to use that
manually replaces the hardcoded version numbers.