Adapted to JGraLab 7.4.1