Editing: GenericArray.php