1.1 --- a/openide.util/src/org/openide/ErrorManager.java	Mon Aug 07 06:43:33 2006 +0000
     1.2 +++ b/openide.util/src/org/openide/ErrorManager.java	Tue Aug 08 09:36:45 2006 +0000
     1.3 @@ -647,6 +647,10 @@
     1.4              if (delegates.isEmpty()) {
     1.5                  if (enterLogger()) return;
     1.6                  try {
     1.7 +                    AnnException ext = AnnException.extras.get(t);
     1.8 +                    if (ext != null) {
     1.9 +                        t = ext;
    1.10 +                    }
    1.11                      logger().log(convertSeverity(severity, true, OwnLevel.UNKNOWN), t.getMessage(), t);
    1.12                  } finally {
    1.13                      exitLogger();