upgrade to xtext 2.5