Extending OpenPGPCard implementation for JavaCard