Summary of changes: 7cdf337... Patch out a reference to an internal Eclipse class that was (*) 2cd37ad... Forget to increment the release number. (*) (*) This commit already existed in another branch; no separate mail sent