References #412: Fix build.xml to make it more developer-friendly
Get version information from the file (base.version) generated at build time.