Fixing support ticket from https://code.google.com/p/xeger/issues/detail?id=11