Artifacts of viatra-master-gerrit #3394