Fixes due to changes in the Eclipse Team API