Merge branch 'patch-3' of github.com:nignag/soot into develop
Merge branch 'develop' of github.com:Sable/soot into develop
Merge branch 'develop' of github.com:Sable/soot into develop
Merge branch 'develop' of github.com:Sable/soot into develop
Bugfix: If there is a directory that does not follow the Android naming structure inside the "platforms" directory of the Android SDK, that should not crash Soot. We instead simply ignore the outlier.