Modified version of JavaGAL