Merge pull request #53 from marcoNieddu/master

Merging latest JavaGAL changes
Fixed problems with jgal/javagal: now jgal is default
Added a target definition file.
Fixed errors in launch configurations
Fixed VM arguments on launch configurations
Updated target definition
Merge remote-tracking branch 'upstream/master'

Conflicts:
	jemma.launch/javagal.launch
	jemma.launch/zgd.launch
	pom.xml