- added debug option to save jimple output
- added two more test cases that show currently unsound translations
(only for class files not for source files).