(default-coded-charset-priority-list): `japanese-jef-china3' is