After a file open has passed all file checks and the file is allowed to open, a final check ensures that the opened file matches the file originally requested. This prevents attempts to open files not otherwise allowed that attempt to circumvent the checks. If a file open request fails, an annotation is added to the audit trace and a java.lang.IOException is raised to the calling method. Method-specific handling of the IOException determines whether the exception is visible to the user or handled by an alternate mechanism in the Java code.
