I have tested the patch on HEAD and it indeed fixes the problem with eclipse-devel. I can commit the patch, but I do not know how it will effect other systems, i.e. 9.0 or 8.x sets. Comments anyone? Best, George