We are encountering the same problem. I would love to give the patch a try and/or rebuild the latest ProGuard binaries myself, but it seems sources are not available anymore?