result = new CnfInfo(Existence.ImportedOpen, location);
else
result = new CnfInfo(Existence.ImportedClosed, location);
} else {
IPath location = ResourcesPlugin.getWorkspace().getRoot().getLocation().append(Workspace.CNFDIR);
File dir = location.toFile();
if (dir.isDirectory())
result = new CnfInfo(Existence.Exists, location);
else
result = new CnfInfo(Existence.None, location);