use the proper hawtio version number for the website generation