disable reporting unhandled exception on Android
Merge pull request #367 from mhamrle/unhandled_exception

Disable reporting unhandled exception on Android
fix renaming OTString -> String for Android