updated to Xtext 2.5