new update by Liang Gong @ Thu Dec 12 17:05:24 PST 2013
Merge branch 'master' of https://github.com/JacksonGL/Jalangi_ref