Repair names in ConfigDialog for File/RDF_extractor.