Incompatibilities between Eclipse JDT 4.22 and 4.23

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