Update to Java17

[eneufeld]

• update xtext
• update target

Fix #444

[eneufeld]

@sgraband should work again, could you check?

[sgraband]

@eneufeld I pushed the changed headers that result after building. Could you quickly check if this is fine and then approve/merge?

[eneufeld]

looks good to me.