adapt to latest jgralab changes