add encoding magic comment to ja_spec