--- orig/James.java 2006-09-17 02:55:22.000000000 +0200 +++ patch/James.java 2006-09-17 02:55:48.000000000 +0200 @@ -77,6 +77,7 @@ import java.util.Locale; import java.util.Map; import java.util.Vector; +import java.lang.StackTraceElement; /** * Core class for JAMES. Provides three primary services: