Incompatibilities between Eclipse 4.30 and 4.31

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