Incompatibilities between Eclipse JDT 4.19 and 4.20

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