};
// Set the proper command injector
commands.setInjector(new SimpleInjector(this));
final CommandsManagerRegistration reg = new CommandsManagerRegistration(this, commands);
reg.register(TopLevelCommands.class);
if(config.realisticRandoms)
try {
random = SecureRandom.getInstance("SHA1PRNG");
} catch (NoSuchAlgorithmException e1) {