ex.close();
}
final Frame[] frames = frameList.toArray(new Frame[frameList.size()]);
final InternalInformation[] iis = internals.toArray(new InternalInformation[internals.size()]);
final VariableInformation[] fvars = vars.toArray(new VariableInformation[vars.size()]);
final ExecutableModel executableModel = new ExecutableModel(frames, iis, fvars, moduleName, src, annotations);
return executableModel;
}