moved Jimple-specific validation from AbstractBody into JimpleBody
fixed an issue in which the full path of a class file was written into the source file tag. The failed Jasmin, thus we now only take the file name as such, not the full path - and we convert Windows backslashes into forward slashes when writing it out