Smart Cards; Test specification for UICC Application Programming Interface for Java Card™ for Contactless Applications; Test Environment and Annexes (Release 9)