figure.draw(new Coordinate(1.0, 1.0), swtGC, new Rectangle(0, 0, figureWidth, figureHeight), new SWTElementsVisibilityManager().getVisibleSWTElementsVector());
ImageLoader il = new ImageLoader();
il.data = new ImageData[] {image.getImageData()};
il.save(to, SWT.IMAGE_PNG);
}
public FigureExecutionEnvironment getExectutionEnv(){
return env;
}