This fixes the issue reported in https://github.com/robolectric/robolectric/issues/5207. PiperOrigin-RevId: 281720030
