@2373651:java_cup-0.11b-27.mga11.src.rpm: ok