Javacard_Explanations file updated