Description: adding the path of jgraphx as it has no maven artifacts
Author: Pierre Gruet <pgt@debian.org>
Forwarded: not-needed
Last-Update: 2021-10-18

--- a/jgrapht-ext/pom.xml
+++ b/jgrapht-ext/pom.xml
@@ -52,6 +52,8 @@
         <dependency>
             <groupId>com.github.vlsi.mxgraph</groupId>
             <artifactId>jgraphx</artifactId>
+            <scope>system</scope>
+            <systemPath>/usr/share/java/jgraphx.jar</systemPath>
         </dependency>
         <dependency>
             <groupId>junit</groupId>
