Just found this proprietary program: YourKit Java Profiler. One of its many touted features is automated de-obfuscation. Based on the site copy, I get the impression that it uses log files generated by various code obfuscators to do a search and replace. Darn. Not quite what I was hoping for.