tag = parameters.getProperty("STARTAG", "pre");
tempdir = parameters.getProperty("TEMP", "");
// Code size
sizesfile = parameters.getProperty("CODESIZEFILE", "");
size = new CompetitionsSelector(sizesfile, botsrepository);
// Ratings files
ratingsurl = parameters.getProperty("RATINGS.URL", "");
generalBots = propertiesfile;
while (generalBots.indexOf("/") != -1) {