/*
* Save the given configuration to disk.
*/
public void save(String message, Configuration configuration) {
File configLocation =
new File(output, getRootFolder() + "configuration/org.eclipse.update/platform.xml");
File installLocation = new File(output, getRootFolder());
try {
configuration.save(configLocation, installLocation.toURL());
} catch (ProvisionException e) {
fail(message, e);
} catch (MalformedURLException e) {
fail(message, e);
}
}
