jgraph-5.12.2.1-6.mga7.src.rpm build ok