#4140: keep EMMA classes in ProGuard