* the data stored in the given XML platform file.
*
* \param platform_file name of an XML file describing the environment to create
* the data stored in the given XML platform file.
*
* \param platform_file name of an XML file describing the environment to create