migrated to Xtext 2.5.2