introduce final into the model for Java interop and  #547