Squashed commit of the following:

commit 3ce9ca2871770bb5fc57bd81d7ebbb51e433c80c
Author: John Ioannidis <jioannidis@twitter.com>
Date:   Tue Jul 8 01:58:42 2014 -0400

    Added cobertura coverage
Merge branch 'master' of https://github.com/pantsbuild/pants