diff --git a/app/PdeEditor.java b/app/PdeEditor.java
index ea20d8cd7..33c7856f9 100644
--- a/app/PdeEditor.java
+++ b/app/PdeEditor.java
@@ -592,6 +592,8 @@ public class PdeEditor extends JPanel {
           throw new PdeException(ae.getMessage(), 
                                  ae.getLine() - 1, ae.getColumn());
 
+        } catch (PdeException pe) {
+          throw pe;
         } catch (Exception ex) {
           System.err.println("Uncaught exception type:" + ex.getClass());
           ex.printStackTrace();