Artifacts of old-egit #5127