fixed issue with profile ordering in the ide pom
upgraded RTLogger interface usage
Merge branch 'origin/development'

Conflicts:
	core/vdm/src/main/java/org/destecs/vdm/SimulationManager.java