Add JGraphT 1.2.0
- To replace private copy of JGraphT in exploration.alg
- Include the following modules of the library: core, ext, ext-uber
Issue-Ref: 3478 Issue-Url: https://af3-developer.fortiss.org/issues/3478
Signed-off-by: Simon Barner barner@fortiss.org
Depends on: kernel!12 (merged)