added GPL headers to JavaGUI2. Include LICENSE files in gfeditor.jar

24 files changed, 356 insertions, 44 deletions

diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/AbstractProber.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/AbstractProber.java
index bb3baea90..971b77c83 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/AbstractProber.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/AbstractProber.java
@@ -1,3 +1,18 @@
+//Copyright (c) Hans-Joachim Daniels 2005
+//
+//This program is free software; you can redistribute it and/or modify
+//it under the terms of the GNU General Public License as published by
+//the Free Software Foundation; either version 2 of the License, or
+//(at your option) any later version.
+//
+//This program is distributed in the hope that it will be useful,
+//but WITHOUT ANY WARRANTY; without even the implied warranty of
+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//GNU General Public License for more details.
+//
+//You can either finde the file LICENSE or LICENSE.TXT in the source 
+//distribution or in the .jar file of this application
+
 package de.uka.ilkd.key.ocl.gf;
 
 import java.io.BufferedReader;
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/AstNodeData.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/AstNodeData.java
index a37f0aa5b..329568654 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/AstNodeData.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/AstNodeData.java
@@ -1,7 +1,18 @@
-/*
- * Created on 27.04.2005
- *
- */
+//Copyright (c) Hans-Joachim Daniels 2005
+//
+//This program is free software; you can redistribute it and/or modify
+//it under the terms of the GNU General Public License as published by
+//the Free Software Foundation; either version 2 of the License, or
+//(at your option) any later version.
+//
+//This program is distributed in the hope that it will be useful,
+//but WITHOUT ANY WARRANTY; without even the implied warranty of
+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//GNU General Public License for more details.
+//
+//You can either finde the file LICENSE or LICENSE.TXT in the source 
+//distribution or in the .jar file of this application
+
 package de.uka.ilkd.key.ocl.gf;
 
 /**
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/ConstraintCallback.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/ConstraintCallback.java
index bab5b2fa9..a9fa6570d 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/ConstraintCallback.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/ConstraintCallback.java
@@ -1,3 +1,18 @@
+//Copyright (c) Hans-Joachim Daniels 2005
+//
+//This program is free software; you can redistribute it and/or modify
+//it under the terms of the GNU General Public License as published by
+//the Free Software Foundation; either version 2 of the License, or
+//(at your option) any later version.
+//
+//This program is distributed in the hope that it will be useful,
+//but WITHOUT ANY WARRANTY; without even the implied warranty of
+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//GNU General Public License for more details.
+//
+//You can either finde the file LICENSE or LICENSE.TXT in the source 
+//distribution or in the .jar file of this application
+
 package de.uka.ilkd.key.ocl.gf;
 
 import java.util.logging.*;
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/Display.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/Display.java
index fc07ff019..9cff45904 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/Display.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/Display.java
@@ -1,3 +1,18 @@
+//Copyright (c) Hans-Joachim Daniels 2005
+//
+//This program is free software; you can redistribute it and/or modify
+//it under the terms of the GNU General Public License as published by
+//the Free Software Foundation; either version 2 of the License, or
+//(at your option) any later version.
+//
+//This program is distributed in the hope that it will be useful,
+//but WITHOUT ANY WARRANTY; without even the implied warranty of
+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//GNU General Public License for more details.
+//
+//You can either finde the file LICENSE or LICENSE.TXT in the source 
+//distribution or in the .jar file of this application
+
 package de.uka.ilkd.key.ocl.gf;
 
 import java.awt.Font;
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/DynamicTree2.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/DynamicTree2.java
index 18233f5b6..62606abf9 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/DynamicTree2.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/DynamicTree2.java
@@ -1,3 +1,18 @@
+//Copyright (c) Janna Khegai 2004, Hans-Joachim Daniels 2005

+//

+//This program is free software; you can redistribute it and/or modify

+//it under the terms of the GNU General Public License as published by

+//the Free Software Foundation; either version 2 of the License, or

+//(at your option) any later version.

+//

+//This program is distributed in the hope that it will be useful,

+//but WITHOUT ANY WARRANTY; without even the implied warranty of

+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+//GNU General Public License for more details.

+//

+//You can either finde the file LICENSE or LICENSE.TXT in the source 

+//distribution or in the .jar file of this application

+

 package de.uka.ilkd.key.ocl.gf;

 /*

  * This code is based on an example provided by Richard Stanford, 

diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFCommand.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFCommand.java
index 3bf757ea0..93e4f8b83 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFCommand.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFCommand.java
@@ -1,3 +1,18 @@
+//Copyright (c) Hans-Joachim Daniels 2005
+//
+//This program is free software; you can redistribute it and/or modify
+//it under the terms of the GNU General Public License as published by
+//the Free Software Foundation; either version 2 of the License, or
+//(at your option) any later version.
+//
+//This program is distributed in the hope that it will be useful,
+//but WITHOUT ANY WARRANTY; without even the implied warranty of
+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//GNU General Public License for more details.
+//
+//You can either finde the file LICENSE or LICENSE.TXT in the source 
+//distribution or in the .jar file of this application
+
 package de.uka.ilkd.key.ocl.gf;
 /**
  * @author daniels
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java
index bc393cf2e..52e6d8d49 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java
@@ -1,3 +1,19 @@
+//Copyright (c) Janna Khegai 2004, Kristofer Johanisson 2004, 

+//              Hans-Joachim Daniels 2005

+//

+//This program is free software; you can redistribute it and/or modify

+//it under the terms of the GNU General Public License as published by

+//the Free Software Foundation; either version 2 of the License, or

+//(at your option) any later version.

+//

+//This program is distributed in the hope that it will be useful,

+//but WITHOUT ANY WARRANTY; without even the implied warranty of

+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+//GNU General Public License for more details.

+//

+//You can either finde the file LICENSE or LICENSE.TXT in the source 

+//distribution or in the .jar file of this application

+

 package de.uka.ilkd.key.ocl.gf;                       

 

 import java.awt.*;

@@ -1553,7 +1569,6 @@ KeyListener, FocusListener {
          * which is executed and thus should load the needed grammars

          */

         public static void main(String args[]) {

-                Utils.configureLogger();

                 //command line parsing

                 CmdLineParser parser = new CmdLineParser();                             

                 CmdLineParser.Option optHtml = parser.addBooleanOption('h', "html");

diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GfAstNode.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GfAstNode.java
index 433df9394..48b00b8ed 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GfAstNode.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GfAstNode.java
@@ -1,3 +1,18 @@
+//Copyright (c) Hans-Joachim Daniels 2005
+//
+//This program is free software; you can redistribute it and/or modify
+//it under the terms of the GNU General Public License as published by
+//the Free Software Foundation; either version 2 of the License, or
+//(at your option) any later version.
+//
+//This program is distributed in the hope that it will be useful,
+//but WITHOUT ANY WARRANTY; without even the implied warranty of
+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//GNU General Public License for more details.
+//
+//You can either finde the file LICENSE or LICENSE.TXT in the source 
+//distribution or in the .jar file of this application
+
 package de.uka.ilkd.key.ocl.gf;
 
 /**
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GrammarFilter.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GrammarFilter.java
index b40bc8d9c..13d8f5184 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GrammarFilter.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GrammarFilter.java
@@ -1,12 +1,18 @@
-// This file is part of KeY - Integrated Deductive Software Design
-// Copyright (C) 2001-2005 Universitaet Karlsruhe, Germany
-//                         Universitaet Koblenz-Landau, Germany
-//                         Chalmers University of Technology, Sweden
+//Copyright (c) Janna Khegai 2004, Hans-Joachim Daniels 2005
 //
-// The KeY system is protected by the GNU General Public License. 
-// See LICENSE.TXT for details.
+//This program is free software; you can redistribute it and/or modify
+//it under the terms of the GNU General Public License as published by
+//the Free Software Foundation; either version 2 of the License, or
+//(at your option) any later version.
 //
+//This program is distributed in the hope that it will be useful,
+//but WITHOUT ANY WARRANTY; without even the implied warranty of
+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//GNU General Public License for more details.
 //
+//You can either finde the file LICENSE or LICENSE.TXT in the source 
+//distribution or in the .jar file of this application
+
 package de.uka.ilkd.key.ocl.gf;
 
 import java.io.File;
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/HtmlMarkedArea.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/HtmlMarkedArea.java
index 9d6454906..9cb8bdd55 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/HtmlMarkedArea.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/HtmlMarkedArea.java
@@ -1,3 +1,18 @@
+//Copyright (c) Hans-Joachim Daniels 2005
+//
+//This program is free software; you can redistribute it and/or modify
+//it under the terms of the GNU General Public License as published by
+//the Free Software Foundation; either version 2 of the License, or
+//(at your option) any later version.
+//
+//This program is distributed in the hope that it will be useful,
+//but WITHOUT ANY WARRANTY; without even the implied warranty of
+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//GNU General Public License for more details.
+//
+//You can either finde the file LICENSE or LICENSE.TXT in the source 
+//distribution or in the .jar file of this application
+
 package de.uka.ilkd.key.ocl.gf;
 
 /**
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/InputCommand.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/InputCommand.java
index f8b933bef..3d19ddcc8 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/InputCommand.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/InputCommand.java
@@ -1,3 +1,18 @@
+//Copyright (c) Hans-Joachim Daniels 2005
+//
+//This program is free software; you can redistribute it and/or modify
+//it under the terms of the GNU General Public License as published by
+//the Free Software Foundation; either version 2 of the License, or
+//(at your option) any later version.
+//
+//This program is distributed in the hope that it will be useful,
+//but WITHOUT ANY WARRANTY; without even the implied warranty of
+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//GNU General Public License for more details.
+//
+//You can either finde the file LICENSE or LICENSE.TXT in the source 
+//distribution or in the .jar file of this application
+
 package de.uka.ilkd.key.ocl.gf;
 
 /**
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/LinPosition.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/LinPosition.java
index eff344e75..81dc4ee7d 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/LinPosition.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/LinPosition.java
@@ -1,3 +1,18 @@
+//Copyright (c) Janna Khegai 2004, Hans-Joachim Daniels 2005

+//

+//This program is free software; you can redistribute it and/or modify

+//it under the terms of the GNU General Public License as published by

+//the Free Software Foundation; either version 2 of the License, or

+//(at your option) any later version.

+//

+//This program is distributed in the hope that it will be useful,

+//but WITHOUT ANY WARRANTY; without even the implied warranty of

+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+//GNU General Public License for more details.

+//

+//You can either finde the file LICENSE or LICENSE.TXT in the source 

+//distribution or in the .jar file of this application

+

 package de.uka.ilkd.key.ocl.gf;

 

 /**

diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/LinkCommand.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/LinkCommand.java
index 5575defa7..b4af88d4f 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/LinkCommand.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/LinkCommand.java
@@ -1,6 +1,18 @@
-/*
- * Created on 21.04.2005
- */
+//Copyright (c) Hans-Joachim Daniels 2005
+//
+//This program is free software; you can redistribute it and/or modify
+//it under the terms of the GNU General Public License as published by
+//the Free Software Foundation; either version 2 of the License, or
+//(at your option) any later version.
+//
+//This program is distributed in the hope that it will be useful,
+//but WITHOUT ANY WARRANTY; without even the implied warranty of
+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//GNU General Public License for more details.
+//
+//You can either finde the file LICENSE or LICENSE.TXT in the source 
+//distribution or in the .jar file of this application
+
 package de.uka.ilkd.key.ocl.gf;
 
 /**
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/MarkedArea.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/MarkedArea.java
index 1a4dfc687..67e236a7f 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/MarkedArea.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/MarkedArea.java
@@ -1,3 +1,18 @@
+//Copyright (c) Janna Khegai 2004, Hans-Joachim Daniels 2005

+//

+//This program is free software; you can redistribute it and/or modify

+//it under the terms of the GNU General Public License as published by

+//the Free Software Foundation; either version 2 of the License, or

+//(at your option) any later version.

+//

+//This program is distributed in the hope that it will be useful,

+//but WITHOUT ANY WARRANTY; without even the implied warranty of

+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+//GNU General Public License for more details.

+//

+//You can either finde the file LICENSE or LICENSE.TXT in the source 

+//distribution or in the .jar file of this application

+

 package de.uka.ilkd.key.ocl.gf;

 

 /**

diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/Printname.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/Printname.java
index 988aee0a2..36250422a 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/Printname.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/Printname.java
@@ -1,3 +1,18 @@
+//Copyright (c) Hans-Joachim Daniels 2005
+//
+//This program is free software; you can redistribute it and/or modify
+//it under the terms of the GNU General Public License as published by
+//the Free Software Foundation; either version 2 of the License, or
+//(at your option) any later version.
+//
+//This program is distributed in the hope that it will be useful,
+//but WITHOUT ANY WARRANTY; without even the implied warranty of
+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//GNU General Public License for more details.
+//
+//You can either finde the file LICENSE or LICENSE.TXT in the source 
+//distribution or in the .jar file of this application
+
 package de.uka.ilkd.key.ocl.gf;
 
 import java.util.Hashtable;
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/PrintnameLoader.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/PrintnameLoader.java
index 1fde57da7..a6940fc56 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/PrintnameLoader.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/PrintnameLoader.java
@@ -1,3 +1,18 @@
+//Copyright (c) Hans-Joachim Daniels 2005
+//
+//This program is free software; you can redistribute it and/or modify
+//it under the terms of the GNU General Public License as published by
+//the Free Software Foundation; either version 2 of the License, or
+//(at your option) any later version.
+//
+//This program is distributed in the hope that it will be useful,
+//but WITHOUT ANY WARRANTY; without even the implied warranty of
+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//GNU General Public License for more details.
+//
+//You can either finde the file LICENSE or LICENSE.TXT in the source 
+//distribution or in the .jar file of this application
+
 package de.uka.ilkd.key.ocl.gf;
 
 import java.io.BufferedReader;
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/PrintnameManager.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/PrintnameManager.java
index 8773599d6..23c058a12 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/PrintnameManager.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/PrintnameManager.java
@@ -1,3 +1,18 @@
+//Copyright (c) Hans-Joachim Daniels 2005
+//
+//This program is free software; you can redistribute it and/or modify
+//it under the terms of the GNU General Public License as published by
+//the Free Software Foundation; either version 2 of the License, or
+//(at your option) any later version.
+//
+//This program is distributed in the hope that it will be useful,
+//but WITHOUT ANY WARRANTY; without even the implied warranty of
+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//GNU General Public License for more details.
+//
+//You can either finde the file LICENSE or LICENSE.TXT in the source 
+//distribution or in the .jar file of this application
+
 package de.uka.ilkd.key.ocl.gf;
 import java.util.Hashtable;
 import java.util.logging.*;
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/ReadDialog.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/ReadDialog.java
index 75695adcd..330444afb 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/ReadDialog.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/ReadDialog.java
@@ -1,3 +1,18 @@
+//Copyright (c) Janna Khegai 2004, Hans-Joachim Daniels 2005
+//
+//This program is free software; you can redistribute it and/or modify
+//it under the terms of the GNU General Public License as published by
+//the Free Software Foundation; either version 2 of the License, or
+//(at your option) any later version.
+//
+//This program is distributed in the hope that it will be useful,
+//but WITHOUT ANY WARRANTY; without even the implied warranty of
+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//GNU General Public License for more details.
+//
+//You can either finde the file LICENSE or LICENSE.TXT in the source 
+//distribution or in the .jar file of this application
+
 package de.uka.ilkd.key.ocl.gf;
 
 import java.awt.BorderLayout;
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/RealCommand.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/RealCommand.java
index ee6778f60..1e4634fd3 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/RealCommand.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/RealCommand.java
@@ -1,3 +1,18 @@
+//Copyright (c) Hans-Joachim Daniels 2005
+//
+//This program is free software; you can redistribute it and/or modify
+//it under the terms of the GNU General Public License as published by
+//the Free Software Foundation; either version 2 of the License, or
+//(at your option) any later version.
+//
+//This program is distributed in the hope that it will be useful,
+//but WITHOUT ANY WARRANTY; without even the implied warranty of
+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//GNU General Public License for more details.
+//
+//You can either finde the file LICENSE or LICENSE.TXT in the source 
+//distribution or in the .jar file of this application
+
 package de.uka.ilkd.key.ocl.gf;
 
 import java.util.HashSet;
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/RefinedAstNodeData.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/RefinedAstNodeData.java
index 31bdbaa17..14663e085 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/RefinedAstNodeData.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/RefinedAstNodeData.java
@@ -1,3 +1,18 @@
+//Copyright (c) Hans-Joachim Daniels 2005
+//
+//This program is free software; you can redistribute it and/or modify
+//it under the terms of the GNU General Public License as published by
+//the Free Software Foundation; either version 2 of the License, or
+//(at your option) any later version.
+//
+//This program is distributed in the hope that it will be useful,
+//but WITHOUT ANY WARRANTY; without even the implied warranty of
+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//GNU General Public License for more details.
+//
+//You can either finde the file LICENSE or LICENSE.TXT in the source 
+//distribution or in the .jar file of this application
+
 package de.uka.ilkd.key.ocl.gf;
 
 /**
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/ToolTipCellRenderer.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/ToolTipCellRenderer.java
index 370e1d7d1..b05aeeb87 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/ToolTipCellRenderer.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/ToolTipCellRenderer.java
@@ -1,3 +1,18 @@
+//Copyright (c) Hans-Joachim Daniels 2005
+//
+//This program is free software; you can redistribute it and/or modify
+//it under the terms of the GNU General Public License as published by
+//the Free Software Foundation; either version 2 of the License, or
+//(at your option) any later version.
+//
+//This program is distributed in the hope that it will be useful,
+//but WITHOUT ANY WARRANTY; without even the implied warranty of
+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//GNU General Public License for more details.
+//
+//You can either finde the file LICENSE or LICENSE.TXT in the source 
+//distribution or in the .jar file of this application
+
 package de.uka.ilkd.key.ocl.gf;
 
 import java.awt.Component;
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/TypesLoader.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/TypesLoader.java
index f5c47d7b1..6700b29ea 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/TypesLoader.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/TypesLoader.java
@@ -1,3 +1,18 @@
+//Copyright (c) Hans-Joachim Daniels 2005
+//
+//This program is free software; you can redistribute it and/or modify
+//it under the terms of the GNU General Public License as published by
+//the Free Software Foundation; either version 2 of the License, or
+//(at your option) any later version.
+//
+//This program is distributed in the hope that it will be useful,
+//but WITHOUT ANY WARRANTY; without even the implied warranty of
+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//GNU General Public License for more details.
+//
+//You can either finde the file LICENSE or LICENSE.TXT in the source 
+//distribution or in the .jar file of this application
+
 package de.uka.ilkd.key.ocl.gf;
 
 import java.io.BufferedReader;
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/UnrefinedAstNodeData.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/UnrefinedAstNodeData.java
index b1d2d6ba9..288b1fd2e 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/UnrefinedAstNodeData.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/UnrefinedAstNodeData.java
@@ -1,3 +1,18 @@
+//Copyright (c) Hans-Joachim Daniels 2005
+//
+//This program is free software; you can redistribute it and/or modify
+//it under the terms of the GNU General Public License as published by
+//the Free Software Foundation; either version 2 of the License, or
+//(at your option) any later version.
+//
+//This program is distributed in the hope that it will be useful,
+//but WITHOUT ANY WARRANTY; without even the implied warranty of
+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//GNU General Public License for more details.
+//
+//You can either finde the file LICENSE or LICENSE.TXT in the source 
+//distribution or in the .jar file of this application
+
 package de.uka.ilkd.key.ocl.gf;
 
 /**
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/Utils.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/Utils.java
index 37084e10c..e8b67e72b 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/Utils.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/Utils.java
@@ -1,19 +1,25 @@
-// This file is part of KeY - Integrated Deductive Software Design
-// Copyright (C) 2001-2005 Universitaet Karlsruhe, Germany
-//                         Universitaet Koblenz-Landau, Germany
-//                         Chalmers University of Technology, Sweden
+//Copyright (c) Kristofer Johanisson 2005, Hans-Joachim Daniels 2005
 //
-// The KeY system is protected by the GNU General Public License. 
-// See LICENSE.TXT for details.
+//This program is free software; you can redistribute it and/or modify
+//it under the terms of the GNU General Public License as published by
+//the Free Software Foundation; either version 2 of the License, or
+//(at your option) any later version.
 //
+//This program is distributed in the hope that it will be useful,
+//but WITHOUT ANY WARRANTY; without even the implied warranty of
+//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//GNU General Public License for more details.
 //
+//You can either finde the file LICENSE or LICENSE.TXT in the source 
+//distribution or in the .jar file of this application
+
+
 package de.uka.ilkd.key.ocl.gf;
 
 
 import java.io.File;
 import java.util.logging.*;
 import javax.swing.ProgressMonitor;
-//import org.apache.log4j.Logger;
 
 public class Utils {
         protected static Logger timeLogger = Logger.getLogger(Utils.class.getName() + ".timer");
@@ -80,29 +86,6 @@ public class Utils {
                 file.deleteOnExit();
         }
         
-        /** 
-         * shamelessly copied from de.uka.ilkd.key.gui.Main
-         * With that, the editor is compilable without changes.
-         */
-        private static final String LOGGER_CONFIGURATION = 
-            	System.getProperty("user.home")+
-            	 File.separator+".key"+File.separator+"logger.props";
-
-        /** 
-         * shamelessly copied from de.uka.ilkd.key.gui.Main
-         * With that, the editor is compilable without changes.
-         * Only gets called in stand-alone mode, not when run with KeY.
-         */
-        public static void configureLogger() {
-//                if ((new File(LOGGER_CONFIGURATION)).exists())
-//                        org.apache.log4j.PropertyConfigurator.configureAndWatch(
-//                                        LOGGER_CONFIGURATION, 1500);
-//                else {
-//                        org.apache.log4j.BasicConfigurator.configure();
-//                        Logger.getRootLogger().setLevel(org.apache.log4j.Level.ERROR);
-//                }
-        }
-
         /**
          * Searches for the first occurace not escaped with '\' of toBeFound in s.
          * Works like String::indexOf otherwise