Update jgralab dep