and instead of importing button from tornadofx.*, ...
# tornadofx
h
and instead of importing button from tornadofx.*, I import it from my own UI package.