Merge branch '231-implement-checkermanager' of

git@gitlab.fbk.eu:CPS_Design/CHESS.git into 231-implement-checkermanager

Conflicts:
	plugins/org.polarsys.chess.checkers/src/org/polarsys/chess/checkers/core/checkerManager/CheckerManager.java

plugins/org.polarsys.chess.checkers/.gitignore

+/bin/

plugins/org.polarsys.chess.checkers/src/org/polarsys/chess/checkers/ui/preferences/ModelCheckingPreferenceInitializer.java

@@ -22,7 +22,7 @@ public class ModelCheckingPreferenceInitializer extends AbstractPreferenceInitia
 		final IPreferenceStore store = Activator.getDefault().getPreferenceStore();
 
 		for(String tag : Activator.getCheckerManager().getTags()){
-			store.setDefault(tag,false);
+			store.setDefault(tag,true);
 		}
 	}
 }

plugins/org.polarsys.chess.checkers/src/org/polarsys/chess/checkers/ui/preferences/ModelCheckingPreferencePage.java

@@ -22,7 +22,6 @@ public class ModelCheckingPreferencePage extends CommonPreferencePage {
 	@Override
 	public void createFieldEditors() {
 		final Composite parent = getFieldEditorParent();
-
 		parent.setLayout(new GridLayout(1, false));
 		parent.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true));
 	
@@ -31,7 +30,8 @@ public class ModelCheckingPreferencePage extends CommonPreferencePage {
 			composite.setLayoutData(new GridData(400, SWT.DEFAULT));
 
 			for (String tag : Activator.getCheckerManager().getTags()) {
-				addField(new BooleanFieldEditor(tag, tag, composite));
+				BooleanFieldEditor booleanFieldEditor = new BooleanFieldEditor(tag, tag, composite);
+				addField(booleanFieldEditor);
 			}
 
 			widgets.add(composite);