Incompatibilities Between Eclipse JDT 4.23 and 4.24

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