Copyright for maude source package in Bionic