changes for JML/FSTModel @ FIDE