--- src/edu/stanford/smi/protege/util/AbstractFormatter.java.orig	2005-06-27 09:16:40.000000000 +0200
+++ src/edu/stanford/smi/protege/util/AbstractFormatter.java	2005-07-05 13:12:48.000000000 +0200
@@ -35,7 +35,7 @@
  * 
  * @author Ray Fergerson <fergerson@smi.stanford.edu>
  */
-public abstract class AbstractFormatter extends Formatter {
+public abstract class AbstractFormatter extends java.util.logging.Formatter {
     private static final String lineSeparator = SystemUtilities.getLineSeparator();
     private static final DateFormat dateFormat = new StandardDateFormat();
 
@@ -113,4 +113,3 @@
     }
 
 }
-
\ Kein Zeilenumbruch am Dateiende.