Java class file shrinker, optimizer, obfuscator, and preverifier