Dalvik is APL licensed, so it can't be benefitting from a GPL license grant in any way. The GPL only lets you distribute derivative copies that are also under the GPL.