>>>>> "Anthony" == Anthony Green <green@xxxxxxxxxx> writes: Anthony> I produced the following patch, which needs to be applied Anthony> last in our set of Eclipse patches. Want to file this in Eclipse bugzilla? If you do, let me know the PR number as I'd like to track it. Tom
