Incompatibilities between Eclipse JDT 4.10 and 4.11

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