////////////////////////////////////////////////////////////////////////////
 //
 // File:    GUIException.java
 //
 // Purpose: There was an error somewhere in the GUI.  This is a
 //          high-level exception, and is best used by passing it
 //          the low-level exception that triggered it.
 //
 // Authors:
 //   txe  Travis Emmitt  emmitt@virginia.edu
 //
 // Modifications:
 //   16-NOV-1998  txe  (v2) Initial creation
 //
 ////////////////////////////////////////////////////////////////////////////
 public class GUIException extends Exception {
   public GUIException (String message) {
         super ("GUI Exception: " + message);
     }
   public GUIException (Exception e) {
         super ("GUI Exception: " + e.getMessage());
     }
 }
 /////////////////////////////////////////////////////////////////////////////