updated to current JGraLab version