if (path == null) return;
String extension = path.substring(path.lastIndexOf(".")+1).trim();
if (!myExtensions.containsKey(extension)) return;
Graph2DView originalView = (Graph2DView)graph.getCurrentView();
Point2D originalViewPoint2D = originalView.getViewPoint2D();
JComponent component = tuneGraph2DView(originalView);
FileOutputStream os = null;
try {
BufferedImage bi = new BufferedImage(component.getWidth(), component.getHeight(), BufferedImage.TYPE_INT_RGB);
component.paint(bi.getGraphics());
os = new FileOutputStream(path);
ImageIO.write(bi, extension, os);
} catch (Exception ex) {
LOG.error(ex);
} finally {
try {
os.close();
}
catch (IOException e1) {
LOG.error(e1);
}
originalView.setViewPoint2D(originalViewPoint2D.getX(), originalViewPoint2D.getY());
}
}