/** Produces a single Graph from the given Instance and View and choice of Projection */
public static JPanel produceGraph(AlloyInstance instance, VizState view, AlloyProjection proj) throws ErrorFatal {
view = new VizState(view);
if (proj == null) proj = new AlloyProjection();
Graph graph = new Graph(view.getFontSize() / 12.0D);
new StaticGraphMaker(graph, instance, view, proj);
if (graph.nodes.size()==0) new GraphNode(graph, "", "Due to your theme settings, every atom is hidden.", "Please click Theme and adjust your settings.");
return new GraphViewer(graph);
}