Using JGraphEd

The following sections describe how to use the various features of JGraphEd: