avoid 'widget is disposed' error on shutdown of Eclipse