Workaround for https://bugs.eclipse.org/9262