Fedora 13 Update: proguard-4.5-3.fc13