Add Mantid:: prefix to please Eclipse
Merge branch 'feature/9390_convert_empty_to_tof' of github.com:mantidproject/mantid into feature/9390_convert_empty_to_tof