Incompatibilities between Eclipse JDT 4.6 and 4.7

Eclipse did not change incompatibly between 4.6 and 4.7 in ways that affect plug-ins. Plugins that ran on 4.6 should run on 4.7 without any problems.