add webservicehelper
Merge branch 'master' of https://github.com/11791-01/project-team01
fix a bug
add snippet annotator
Merge branch 'master' of https://github.com/11791-01/project-team01
fix a bug
update the type system