classFile.store(os);
}
} catch (IOException ex) {
try { os.close(); } catch (IOException e) { }
os = null;
if (!rc.deleteResource(classFileResourceName)) {
throw new IOException(
"Could not delete incompletely written class file \""
+ classFileResourceName
+ "\""
);