some changes in class GravisGraph