Added missing TANK_WIDTH in type provider
Corrected some tests in the WrongTypeTest class
Merge branch 'master' of https://github.com/feupeu/SW401F14-Xtext