downloaded jgraphx source