Interesting, clearly I'd misinterpreted it, and I don't particularly follow the ins and outs of Android development much these days, but I'd always assumed that the very reason Android is biased towards Java for development was because of the availability of Jazelle/ThumbEE on ARM applications processors. Certainly in the first Android releases, Java was the only way to develop code, there was no native development kit.