File = imports.File.File;
console = imports.console.console;
+include('Date.js');
-Date = imports.DateExtra.DateExtra;
+//DateExtra = imports.DateExtra.DateExtra;
-var LOGFILE = "jhbuild-" + (new DateExtra()).format("Y-m-d-H") + '.log';
+var LOGFILE = "jhbuild-" + (new Date()).format("Y-m-d-H") + '.log';
// change src & deleteGirs when you add / remove girs..