Android: make Android_PumpEvents() more readable
No behavior change in this commit.
1 file changed