Editing: GeneratorDumper.php