*/
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();