Incompatibilities between Eclipse JDT 4.24 and 4.25

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