if (!graphCanvas1.isDisposed()) graphCanvas1.redraw(); if (!graphCanvas2.isDisposed()) graphCanvas2.redraw();
if (!graphCanvas.isDisposed()) graphCanvas.redraw();
						public void run() {							if (!graphCanvas1.isDisposed()) graphCanvas1.redraw();							if (!graphCanvas2.isDisposed()) graphCanvas2.redraw();						}