context.put(GraphModel.class, viewInfo.getGraph());
Collection<GraphNode> viewNodes = loadGraphNodes(reader, context);
// TODO: Converter for ViewPreferences
ViewPreferences viewPrefs = (ViewPreferences) unmarshalObject(reader, context);
viewPrefs.initTransients();
viewPrefs.afterUnmarshall();
return new ViewDocument(viewInfo, viewNodes, viewPrefs);
} finally {
putGraphDocument(context, prior);
}