updated with jpf-classes jar
Merge branch 'master' into gh-pages

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