The following information is missing from the Funding section: "This research is supported by 863 Program of China under grant 2012AA010902, by the NSF of China under grant 61202425, by State Key Laboratory of Software Development Environment under grant SKLSDE-2013ZX-22, and by the Fundamental Research Funds for the Central Universities."