Fix for bug https://bugs.eclipse.org/bugs/show_bug.cgi?id=513791

Change-Id: I5a7b1ddf7153cebc759217d3de0c380b809402a3
2 files changed