// Preferences are bound to the type system
// Changed in one place, then it should change in all places
CAS cas = DocumentUimaImpl.getVirginCAS(typeSystemFile);
DocumentFormat documentFormat;
// Which file format to use ?
if (casFile.getName().endsWith("xmi")) {
documentFormat = DocumentFormat.XMI;
} else if (casFile.getName().endsWith("xcas")) {