Java bytecode shrinker, optimizer, and obfuscator.
