jgrapht-0.8.1-16.mga8.src.rpm build ok