fix for commit f7c24973040af94e792b27f87a3d1d6a79139c10
performance optimization
Merge branch 'develop' of https://github.com/Sable/soot into develop
added support for Android's AsyncTask
Merge branch 'develop' of github.com:Sable/soot into develop
Refactored Android's AsyncTask methods into their own callgraph edge types instead of reuing Kind.THREAD
re-generated JastAdd frontend code
removed unmappable characters
Merge remote-tracking branch 'upstream/develop' into develop