fix: JML can't arrange non-inheritable interface members