ATTENTION! This old fix breaks Java UI 11 on macOS Mojave. If you press RightAlt once, you never receive event with LeftAlt. Note that static altGRPressed = NO is switched to YES, but never to NO.
Could you please improve your fix and add a test that Alt-events are not changed after pressing/releasing right Alt? Thanks, SAM -- Best regards, Sergey A. Malenkov