Bugfix: Jasmin does not support blanks in the source file tag, so we replace them by dashes
Bugfix: Jasmin does not support blanks in the source file tag, so we replace them by dashes

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