moved config setter

de.prob.units/src/de/prob/units/Activator.java

@@ -4,7 +4,6 @@ import org.eclipse.ui.plugin.AbstractUIPlugin;
 import org.osgi.framework.BundleContext;
 import org.rodinp.core.RodinCore;
 
-import de.prob.units.sc.ConfSettor;
 
 /**
  * The activator class controls the plug-in life cycle

de.prob.units/src/de/prob/units/sc/ConfSettor.java → de.prob.units/src/de/prob/units/ConfSettor.java

-package de.prob.units.sc;
+package de.prob.units;
 
+import org.eventb.core.IContextRoot;
 import org.eventb.core.IMachineRoot;
 import org.rodinp.core.ElementChangedEvent;
 import org.rodinp.core.IElementChangedListener;
@@ -12,8 +13,6 @@ import org.rodinp.core.IRodinFile;
 import org.rodinp.core.IRodinProject;
 import org.rodinp.core.RodinDBException;
 
-import de.prob.units.Activator;
-
 /**
  * Class that updates the configuration of files, to add the static checker
  * modules for our qualitative probabilistic reasoning plug-in.
@@ -53,6 +52,14 @@ public class ConfSettor implements IElementChangedListener {
 					mch.setConfiguration(conf + ";" + CONFIG, null);
 				}
 			}
+
+			if (root.getElementType().equals(IContextRoot.ELEMENT_TYPE)) {
+				final IContextRoot ctx = (IContextRoot) root;
+				final String conf = ctx.getConfiguration();
+				if (!conf.contains(CONFIG)) {
+					ctx.setConfiguration(conf + ";" + CONFIG, null);
+				}
+			}
 		}
 	}
 }
\ No newline at end of file