}
public void run(){
while(Thread.currentThread()== me){
Maude mp=MaudesimpleGUIPlugin.getDefault().getMaude();
if(mp!=null && isRunningMaude!=mp.isRunning()){
isRunningMaude=MaudesimpleGUIPlugin.getDefault().getMaude().isRunning();
if(isRunningMaude){
while(!MaudesimpleGUIPlugin.getDefault().isStarted()){
try {
Thread.sleep(50);