Java Card Development Kit, Make your Choice