Fix androidproducts alphabetizing of oct_jewel