package Ġcom . ies b pi . redis Ċ Ċ import Ġcom . ies b pi . redis . r pg . R pg Ċ import Ġorg . springframework . boot . autoconfigure . SpringBoot Application Ċ import Ġorg . springframework . boot . run Application ĊĊ Ċ @ SpringBoot Application Ċ class ĠRedis Application ĊĊ Ċ fun Ġmain ( args : ĠArray < String >) Ġ{ Ċ ĉ run Application < Redis Application >(* args ) ĊĊ Ċ } Ċ