migrated to Xtext 2.5