forgot to fix the xtext ui plugin