Artifacts of viatra-master-gerrit #3310