Editing: GeneratorDumperInterface.php