This is the beginnings for gui support for ESESC. For now, it is very primitive
and can only draw basic graphs using a simple file format.

node "name" x y
edge "src_name" "dest_name" label

An node must be defined before an edge can reference it.

To build the visualizer, you need JGraph and a recent Java
installation.  And you must add the jgraph.jar to your CLASSPATH list along
with the active local directory.

javac -classpath $(CLASSPATH) GraphEd.java

To execute:

java -cp $(CLASSPATH) GraphEd 


Click on the file open button to load a file.
