See the patch in https://bugs.eclipse.org/bugs/show_bug.cgi?id=256302 I am about to check in this simple fix suggested by James.
Thanks,
Andrei