title: How to tell if Proguard has done its job
body: <p>I downloaded proguard encapsulated in a zip file and unpacked it onto my hard disk. I did not <em>install</em> it in any way (because I didn't know how). I then added <code>proguard.config=proguard.cfg</code> to my project.properties file. I then did an "export android application" fully expecting eclipse to complain that it didn't know where my proguard installation was, but there was no complaint. Indeed a new apk file appeared in my keystore, and a set of files (dump.txt etc) appeared in my app's proguard subdirectory. The mapping.txt looks like a nice list of mappings from my long variable names to one and two letter variables. This should all be strong evidence that proguard has somehow worked - my only concern is that the apk is scarcely any smaller than it was before. Is there any way to check that the apk includes proguard's obfuscations?</p>