Playground for open source JavaCard 2.2.2 applets