java-17-openjdk-17.0.17.0.10-1.mga10.src.rpm build ok