}
// setting synchronization stamp is IModelManager's client's
// responsibility
if (model != null && model.getSynchronizationStamp() == IResource.NULL_STAMP)
model.resetSynchronizationStamp(file);
}
else {
String id = null;
InputStream inStream = null;
// obtain resolver