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$
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.