>>>> "Anthony" == Anthony Green
<green(a)redhat.com> 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