Fix XML parse error in soot_options.xml inadvertently checked in with hasty fix in revision 854
Fix XML parse error in soot_options.xml inadvertently checked in with hasty
fix in revision 854

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