A patch proposal for enhancement 419098
(https://bugs.eclipse.org/bugs/show_bug.cgi?id=419098)