Japan, China leaders met informally: Japanese official