Use more recent jgraphx version

Seems to resolve a bug with large parameter graphs