Get Proguard to generate its output as a JAR file rather than a directory of files. This fixes the problem that Uncommons Antlib has obfuscating Android projects on a case-insensitive OS X partition.
Fixed a Cobertura instrumentation problem by specifying auxClasspath.