JNI glue should work around Java encoding problem

Android Java cannot handle actual UTF-8 encoded text.  It, instead, requires Modified UTF-8. **NewStringUTF aborts on strings that are UTF-8 but not Modified UTF-8.  To fix the problem, we can use C++ routines to convert UTF-8 to UTF-16 before handing it to Java.{{
}}