OCL specifications for Java Card API
java.io
IOException.txt