In stead of a builder I just use a constructor tha...

# tornadofx

[edvin]

In stead of a builder I just use a constructor that takes those two fields, and there is no way to change the values.