Refs #4
Merge branch 'master' of https://github.com/cdonnat/padacore.git
Refs #4
Merge branch 'master' of https://github.com/cdonnat/padacore.git

Conflicts:
	org.padacore.ui/src/org/padacore/ui/wizards/NewAdaProjectFromGprWizard.java