added phpunit 4.2