New version with fixed regression in unix ...
Merge branch 'master' into gh-pages

Conflicts:
	eclipse-jpf.site/plugins/eclipse-jpf_1.0.0.201312041157.jar
	eclipse-jpf.site/plugins/eclipse-jpf_1.0.0.201312050824.jar
	update/features/gov.nasa.jpf.eclipsejpf_1.0.0.201312041157.jar
	update/plugins/eclipse-jpf_1.0.0.201312041157.jar