map editing for Tongji University

https://www.openstreetmap.org/user/xinzi/diary/14563