Sync JML for Unicode parsing