[Soot-list] Decompiling Class file

[mbatch at cs.mcgill.ca]

> I get:
> Exception in thread "main" java.lang.RuntimeException: Could not verify
> approximated Synchronized body at
> soot.dava.toolkits.base.finders.SynchronizedBlockFinder.find(Synchronized
> BlockFinder.java:163)

This is one of the few bugs I run into somewhat regularly. It's a problem
in the algorithm that finds synchronized blocks. I haven't looked into it
myself, but it may be worth debugging a bit - the problem may in fact be
obvious. Anyway, I get the same exception here as you.

Michael