Incompatibilities between Eclipse JDT 4.8 and 4.9

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