Used the phpspec junit formatter on jenkins