--- XMLDBException.java	Tue Apr 24 19:38:21 2001
+++ XMLDBException-patched.java	Tue Apr 24 19:39:34 2001
@@ -63,7 +63,6 @@
  */ 
 public final class XMLDBException extends RuntimeException
 {
-   public String message = null;
    public int errorCode = 0;
    public int vendorErrorCode = 0;
    
@@ -85,7 +84,7 @@
    
    public XMLDBException (int errorCode, int vendorErrorCode, String message)
    {
-      this.message = message;
+      super(message);
       this.errorCode = errorCode;
       this.vendorErrorCode = vendorErrorCode;
    }