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

Change-Id: Idd5d4fac584fe96b82e97a469b7002307064c617
3 files changed