only add source file tag if not null
Merge branch 'develop' of ssh://github.com/Sable/soot into develop