Fix classes_def.xml in pull request #4215