"One of Big Red's arguments is that Android destroyed the market opportunity for Sun to license a decent mobile Java."
I thought the reason Google went for a roll-your-own approach was their view that Sun had a decent* Java and a mobile Java and they weren't the same thing.
*Argue amongst yourselves about about "decent" if you want to.