The code validity checker fails on SpecialInvoke statements which do not invoke a method declared in a supertype. While this is generally correct, it does not work if the scan upwards in he class hierarchy is terminated because a phantom class is hit. In this case, we now assume the invocation statement to be ok for not failing legitimate APKs.

fixes #124
Merge remote-tracking branch 'upstream/develop' into develop
Bugfix: Added missing initialization for global variable
typing issue
Merge remote-tracking branch 'upstream/develop' into develop
Added command line param: -mute-some-output. It will, well, mute some outputs! Described in Options.java.