Incompatibilities between Eclipse JDT 4.12 and 4.13

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