Reduced ProGuard passed from 7 to 4 since there was no additional benefit.