bump some deps; adapt to latest jgralab changes