var name = sourceFile; //.substring(Options.baseDir.length+1);
//print(name);
name = name.replace(/\.\.?[\\\/]/g, "").replace(/[\\\/]/g, "_");
var name = sourceFile; //.substring(Options.baseDir.length+1);
//print(name);
name = name.replace(/\.\.?[\\\/]/g, "").replace(/[\\\/]/g, "_");