/**
  * Saves the current configuration of the project by writing it to <br>
  * - the project's xml-file
  *
  * @param project - target project
  */
 public static void saveConfiguration(IProject project) {
   XMLProjectFileManager.saveConfigurator(getConfiguration(project));
 }
 /**
  * Loads the <i>Configuration</i> of a target project from its xml-file.
  *
  * @param project - target project
  * @return <i>Configuration</i> object for the project
  */
 public static Configuration loadConfiguration(IProject project) {
   return XMLProjectFileManager.loadConfigurator(project);
 }