Revert changes from Flavio: https://git.eclipse.org/r/#/c/43462/ because
of Bug 462928
1 file changed