Incompatibilities Between Eclipse JDT 4.17 and 4.18

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