I'm not sure that the Java bytecodoe-to-Dalvik compiler actually completely Java SE 6 compatible (eg that it is a superset), but I think that is irrelevant since their licensing actually prohibits supersets. This is why Sun was able to force Microsoft to discontinue their JVM; it had nonstandard features in it, and therefore their licensing wouldn't be valid.