Demonstrates bug #437519 of the Xtext v2.7