Documentation and specifications for the Java Card Platform 3.1 release