plot.updateStyleElement();
final int tw = (int) (task.getWidth() * tresolution);
final int th = (int) (task.getHeight() * tresolution);
thumb = t.thumbnail(plot, tw, th);
// The visualization will not be used anymore.
vis.destroy();
synchronizedRedraw();
}
catch(Exception e) {
final Logging logger = Logging.getLogger(task.getFactory().getClass());
if(logger != null && logger.isDebugging()) {