Doxygen updated on Thu Jun 19 08:25:47 BST 2014