@2374974:javacc-7.0.13-3.mga11.src.rpm: ok