<@U14ECM2KV> Sure, but you don't need to do both, ...
# tornadofx
e
@ron Sure, but you don't need to do both, that was my point 🙂 This is check and cast in one 🙂