Failure to find com.github.jgraph when building Rainbow-SWIM example

[oceank]

Description:
When building an image for the Rainbow-SWIM example using the instructed build command (as listed below), the build failed and complained that com.github.jgraph:jgraphx:jar:v3.9.3 can not be found in https://repository.mulesoft.org/nexus/content/repositories/public/.

Checked jgraph v3.9.3 in maven repo (https://mvnrepository.com/artifact/com.github.jgraph/jgraphx/v3.9.3) and found that this artifact is currently located at Geomajas repository (http://maven.geomajas.org/). The build error was resolved by adding the following item for jgraph v3.9.3 in rainbow/rainbow-gui/pom.xml.

         <repository>
           <id>com.github.jgraph<id>  
           <name>Geomajas<name\>  
           <url>http://maven.geomajas.org/nexus/content/groups/public/</url> 
         </repository>

But when directly using maven to compile (mvn compile) it inside rainbow/deployments/rainbow-example, it still complained the failure to find com.github.jgraph:jgraphx:jar:v3.9.3 in dav:http://acme.able.cs.cmu.edu/maven-repository. (The difference in the maven repo here is probably due that I followed the instruction in rainbow-brass to add the server, able.maven.repository, into the maven setting.xml). The error can be resolved by adding the Geomajas repo in rainbow/deployments/rainbow-example/pom.xml.

Having the Geomajas repo in two pom.xml seems to not be a good practice. Is there better solution for it?

Docker Build Command:
docker build -t cmuable/rainbow-example -f deployments/rainbow-example/Dockerfile .

Environment:

• Ubuntu 18.04
• Docker 20.10.12
• Maven 3.6.0
• Java 11.0.11