/**
* This method is called upon plug-in activation
*/
public void start(BundleContext context) throws Exception {
super.start(context);
state= new MaudeThreadState("Stado Maude"); //$NON-NLS-1$
state.start();
maudeDatabase=MaudeDataBase.newInstance();
isEnabledDatabase=false;
refreshDatabase= new MaudeThreadRefreshDataBase(es.uma.ama.maudeWorkstationGUI.Messages.getString("MaudeWorkstationGUIPlugin.THREAD_REFRESH_DATABASE_NAME")); //$NON-NLS-1$
refreshDatabase.start();