Incompatibilities Between Eclipse 4.41 and 4.42

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