[Soot-list] PackManager.writeOutput() and using Soot classes outside soot.Main

[Patrick Lam]

Eric Bodden wrote:
> I agree that it does not really make much sense to release the bodies.
> I am not quite sure why this was implemented; maybe somebody was just
> being overly tidy.

Clearly the bodies can't be garbage collected unless they're set to
null, but I don't see any reason that we should set the bodies to null.

pat