use latest jenkins build of xtext for now.