editing VGL.java