*/
var RooFile = imports.JSDOC.RooFile.RooFile;
+var RooFile = imports.JSDOC.TokenReader.TokenReader;
+var RooFile = imports.JSDOC.TokenStream.TokenStream;
+
var File = imports.File.File;
+
var args = Array.prototype.slice.call(Seed.argv);
args.shift();
args.shift();
print(JSON.stringify(args, null,4));
-Seed.quit();
+//Seed.quit();