assertFalse("Maude process finished.",maudePB.isRunning());
}
public void testCreateFullMaudeProcessInteract() {
IMaudeProcessInteract maudePI = MaudeDaemonPlugin.getDefault().getNewMaudeProcessInteract();
maudePI.configMaudeFromPrefs();
maudePI.setAutoConfig(false);
maudePI.setFullMaude();
try {
maudePI.execMaude();