Update for gpr4j
Merge branch 'master' of https://github.com/cdonnat/padacore.git

Conflicts:
	org.padacore.gpr4j/lib/gpr4j-1.0.jar