Incompatibilities between Eclipse 4.32 and 4.33

So far Eclipse did not change incompatibly between 4.32 and 4.33 in ways that affect plug-ins. Plug-ins that ran on 4.32 should run on 4.33 without any problems.