*/
private static ViewDocument loadViewDocument(IFile viewFile)
throws IOException {
ObjectXmlPersist persist =
new ObjectXmlPersist(XStreamFactory.getSharedRefXStream());
return (ViewDocument) persist.load(viewFile.getRawLocationURI());
}
/**
* Save a view document to a file.
*/