bump jgralab dep to 7.2.1