This file is only meant to be executed indirectly by PHPUnit's bootstrap process!