[patch] protege-3.1-Formatter.patch

protege-3.1-Formatter.patch (text/plain), 666 bytes, created by Christoph Brill (egore) (RESIGNED) on 2005-07-05 04:39:19 UTC

--- 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 <[e-mail]>
  */
-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.