jgraph-5.12.2.1-8.mga9.src.rpm build ok