Copyright for maude source package in Kinetic