Artifact: discipline-specs2_sjs0.6_2.13