Updated spoofax libs
Merge branch 'java-bootstrap' into run-tests