Fix compat-Java layer, should fix build.
Fatal error if --unconstrained-simp and --produce-models used together (before it would just override the user and turn off models).