}
}
FBJPreferences.loadPrefs("launcher.ini");
FileLibrary.initStatic();
FBELibrarySpec.library = new FileLibrary();
SystemLogger logger = new SystemLogger();
SystemManager mgr = new FBenchSystemManager(logger);
try {
FBELibrarySpec spec = FBELibrarySpec.load(new FileReader(args[args.length - 1]), true);
mgr.launch(spec, FBJPreferences.getBounds());