--- a/GenericException.st	Tue Sep 20 11:37:33 2016 +0100
+++ b/GenericException.st	Mon Oct 03 12:44:41 2016 +0100
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 1993 by Claus Gittinger
 	      All Rights Reserved
@@ -1130,6 +1132,14 @@
     "Created: / 23.7.1999 / 13:49:59 / stefan"
 !
 
+isProgramError
+    "redefined in all exceptions which are programmer's errors,
+     and which should probably not be ignored.
+     I.e. a global error handler should reject and let a debugger get control."
+
+    ^ false
+!
+
 isQuerySignal
     "return true, if this is a querySignal - always return false here"
 
@@ -1357,7 +1367,7 @@
 
 originalSignal
     "return the signal/exception which was originally raised.
-     For noHandler, that is my unhandled signal; for others, thats the exception itself."
+     For noHandler, that is my unhandled signal; for others, that's the exception itself."
 
     ^ self.
 !
@@ -2425,6 +2435,14 @@
 
 isNotification
     ^ false
+!
+
+isProgramError
+    "redefined in all exceptions which are programmer's errors,
+     and which should probably not be ignored.
+     I.e. a global error handler should reject and let a debugger get control."
+     
+    ^ self class isProgramError
 ! !
 
 !GenericException class methodsFor:'documentation'!