Updated coverage reports based on commits as of 2013/07/02