jgraphx-3.9.3-6.mga10.src.rpm build ok