update to new Java and Spoofax version