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