migrated to Xtext 2.5.3