}
@Override
protected ICasDocument createDocument(Object element) throws CoreException {
if (element instanceof FileEditorInput) {
FileEditorInput fileInput = (FileEditorInput) element;
IFile casFile = fileInput.getFile();
// Try to find a type system for the CAS file
// TODO: Change to only use full path
IFile typeSystemFile = null;