The Java Card Development Kits are mainly:
1, JCOP:
JCOP is a classic java card applet development platform, has been acquired by NXP. URL:
2,Java Card SDK
The Java Card Development Kit includes a complete, standalone development environment in which applications written for the Java Card platform can be developed and tested.
URL: http://www.oracle.com/technetwork/java/embedded/javacard/downloads/index.html
3, JCIDE:
JCIDE is a powerful javacard applet development platform. JCIDE lets you quickly and easily develop Java card applications and it's free to use.
URL: http://www.javacardos.com/tools/
4, ......