workaround for bug found by Ondrej.  will probably be roll-backed with the SPatchingChain merges.
workaround for bug found by Ondrej.  will probably be roll-backed with
the SPatchingChain merges.


mbenz89/soot,anddann/soot,plast-lab/soot,mbenz89/soot,anddann/soot,xph906/SootNew,plast-lab/soot,anddann/soot,cfallin/soot,xph906/SootNew,mbenz89/soot,xph906/SootNew,cfallin/soot,cfallin/soot,xph906/SootNew,mbenz89/soot,cfallin/soot,plast-lab/soot,anddann/soot