Final states modified in property JavaMOP 2