package Ġfr . t se . jac ade m ie . kotlin Demo . service Ċ Ċ import Ġfr . t se . jac ade m ie . kotlin Demo . model . Student Ċ import Ġorg . springframework . data . jpa . repository . Jpa Repository Ċ Ċ interface ĠStudent Repository : ĠJ pa Repository < Student , ĠLong > Ġ{ ĊĠĠĠ Ġfun Ġfind ByName ( name : ĠString ): ĠSet < Student > Ċ } Ċ