package Ġnet . cord a . training . state Ċ Ċ import Ġnet . cord a . core . contracts . Amount Ċ import Ġnet . cord a . core . contracts . Bel ongsTo Contract Ċ import Ġnet . cord a . core . contracts . Linear State Ċ import Ġnet . cord a . core . contracts . Unique Identifier Ċ import Ġnet . cord a . core . identity . Party Ċ import Ġnet . cord a . training . contract . Art Contract Ċ import Ġjava . util .* Ċ Ċ @ Bel ongsTo Contract ( Art Contract :: class ) Ċ data Ġclass ĠArt State ( val Ġartist : ĠString Ġ= Ġ" artist ", ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġtitle : ĠString Ġ= Ġ" title ", ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġapp ra iser : ĠParty , ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġowner : ĠParty , ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġoverride Ġval Ġlinear Id : ĠUnique Identifier Ġ= ĠUnique Identifier ()): ĠLinear State Ġ{ ĊĊĠĠĠ Ġoverride Ġval Ġparticipants : ĠList < Party > Ġget () Ġ= ĠlistOf ( app ra iser , Ġowner ) ĊĊĠĠĠ Ġfun Ġwith New Owner ( new Owner : ĠParty ) Ġ= Ġcopy ( owner Ġ= Ġnew Owner ) Ċ }