update jgralab dep