A new member of Developer Kernel family is Developer Kernel for Java.
It is a pure Java solution (using standard .JAR) for creating application in environment like NetBeans or Eclipse.
DK for Java using Swing library for GUI.
Maybe in future. Producing pure Android code (without NDK) has been tested, but we are not quite ready to provide it.