&& !MaudesimpleGUIPlugin.getDefault().isDebuging() ){
Workbench.getInstance().getDisplay().syncExec(new Runnable() {
public void run() {
MaudeRewriting rewriting = (MaudeRewriting) PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage().findView(Messages.getString("MaudeWorkstationGUIPlugin.MAUDE_REWRITING")); //$NON-NLS-1$
List<String> modulos=MaudeWorkstationGUIPlugin.getDefault().getDatabase().getActiveModules();
Iterator<String> it= modulos.iterator();
while(it.hasNext()){
String module= it.next();
//if(MaudeWorkstationGUIPlugin.getDefault().getMaudeProcess().isFullMaude())
// module+=Messages.getString("MaudeWorkstationGUIPlugin.FULL");
if(rewriting!=null) rewriting.addModule(module);
}
//aqui hay que seleccionar como modulo activo el modulo
//en el caso que se encuentre en la lista de modulos
//cuidado con la F
String moduloFull=modulo;
if(MaudeWorkstationGUIPlugin.getDefault().getMaudeProcess().isFullMaude())
moduloFull+=Messages.getString("MaudeWorkstationGUIPlugin.FULL");
if(rewriting!=null && (modulos.contains(moduloFull) || modulos.contains(modulo))){
rewriting.setSelectedItem(modulo);
MaudeSesion.newInstance().getRewritingState().setActiveModule(modulo);
}
MaudeModules.getInstance().removeModule(modulo);