package Ġcom . md ream fe ver . f star Ċ Ċ import Ġorg . bouncycastle . j ce . provider . Bo unc y Castle Provider Ċ import Ġorg . springframework . boot . autoconfigure . SpringBoot Application Ċ import Ġorg . springframework . boot . run Application Ċ import Ġorg . springframework . scheduling . annotation . Enable Scheduling Ċ import Ġjava . security . Security Ċ Ċ @ Enable Scheduling Ċ @ SpringBoot Application Ċ class ĠFStar Application Ċ Ċ fun Ġmain ( args : ĠArray < String >) Ġ{ ĊĠĠĠ ĠSecurity . add Provider ( Bo unc y Castle Provider ()) ĊĠĠĠ Ġrun Application < FStar Application >(* args ) Ċ } Ċ