Incompatibilities between Eclipse JDT 4.16 and 4.17

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