Incompatibilities Between Eclipse 4.39 and 4.40

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