}
else
{
try
{
Platform platform = Platform.getInstance( platformName );
platform.setBinFileExtension( (String) binFileExtensions.get( platformName ) );
}
catch ( DaemonGeneratorException e )
{
getLog().warn( "Unable to set the bin file extension for " + platformName, e );
}