Incompatibilities between Eclipse JDT 4.14 and 4.15

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