/**
* Set options according to the configuration settings found in the given <code>CeylonConfig
* </code>
*
* @param config The <code>CeylonConfig</code> to take the settings from
*/
public void mapOptions(CeylonConfig config) {
setTimeout((int) DefaultToolOptions.getDefaultTimeout(config));
setOffline(DefaultToolOptions.getDefaultOffline(config));
setOverrides(DefaultToolOptions.getDefaultOverrides(config));
setRun(DefaultToolOptions.getRunToolRun(config, null));
setDowngradeDist(!DefaultToolOptions.getLinkWithCurrentDistribution(config));
}
