Artifacts of eclipse.jdt.ui-Gerrit #3745