import Ġio . vertx . core .* Ċ Ċ sealed Ġclass ĠBase Vert icle Ġ: ĠAbstract Vert icle () Ġ{ ĊĠ Ġoverride Ġfun Ġstart ( start Future : ĠPromise < Void >) Ġ{ ĊĠĠĠ Ġstart () ĊĠĠĠ Ġvert x . shared Data (). getLocal Map < String , ĠString >(" sealed "). put ( this :: class . java . simple Name , Ġ" started ") ĊĠĠĠ Ġstart Future . complete () ĊĠ Ġ} ĊĊĠ Ġclass ĠV 5 Ġ: ĠBase Vert icle () Ċ } Ċ