Fix proposal for ReservedCall
Merge branch 'master' of github.com:feupeu/SW401F14-Xtext