Reverted auto format of soot_options.xml
Reverted auto format of soot_options.xml

mbenz89/soot,anddann/soot,anddann/soot,mbenz89/soot,anddann/soot,plast-lab/soot,mbenz89/soot,plast-lab/soot,mbenz89/soot,plast-lab/soot,anddann/soot