JNAerator: fixed handling of large unicode values (issue #401)