Use graphtools 1.3 compiled for java 1.6 fixes #2