Please remove all these useless properties which are the same than PHPUnit default values