Workaround for Cobertura execution under JDK 7