Fetched names of 16200 projects. Mirroring the Projects.xml file turned
off because it gets to big for Rascal/Eclipse to process.