Merge branch 'develop'

Conflicts:
	plugins/org.polarsys.chess.core/src/org/polarsys/chess/core/profiles/CHESSProfileManager.java
	plugins/org.polarsys.chess.validator/src/org/polarsys/chess/validator/managers/ModelParser.java
tree: 2ffb7a88dc6bf9180d4d7443e6403168b719c5e9
  1. plugins/
  2. .gitignore