Copyright for jcsp source package in Disco