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

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;

src/JavaGUI2/de/uka/ilkd/key/ocl/gf/AstNodeData.java

@@ -1,7 +1,18 @@
-/*
+//Copyright (c) Hans-Joachim Daniels 2005
- * Created on 27.04.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;
 
 /**

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.*;

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;

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, 

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

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");

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;
 
 /**

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) Janna Khegai 2004, Hans-Joachim Daniels 2005
-// Copyright (C) 2001-2005 Universitaet Karlsruhe, Germany
-//                         Universitaet Koblenz-Landau, Germany
-//                         Chalmers University of Technology, Sweden
 //
-// The KeY system is protected by the GNU General Public License. 
+//This program is free software; you can redistribute it and/or modify
-// See LICENSE.TXT for details.
+//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;

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;
 
 /**

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;
 
 /**

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;
 
 /**

src/JavaGUI2/de/uka/ilkd/key/ocl/gf/LinkCommand.java

@@ -1,6 +1,18 @@
-/*
+//Copyright (c) Hans-Joachim Daniels 2005
- * Created on 21.04.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;
 
 /**

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;
 
 /**

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;

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;

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.*;

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;

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;

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;
 
 /**

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;

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;

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;
 
 /**

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) Kristofer Johanisson 2005, Hans-Joachim Daniels 2005
-// Copyright (C) 2001-2005 Universitaet Karlsruhe, Germany
-//                         Universitaet Koblenz-Landau, Germany
-//                         Chalmers University of Technology, Sweden
 //
-// The KeY system is protected by the GNU General Public License. 
+//This program is free software; you can redistribute it and/or modify
-// See LICENSE.TXT for details.
+//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

src/Makefile

@@ -119,7 +119,7 @@ javac:
 
 jar: javac
 	cd JavaGUI; $(JAR) -cmf manifest.txt gf-java.jar *.class ; cd ..
-	cd $(GFEDITOR) ; rm -rf jarcontents ; mkdir jarcontents ; cp -r de/ ManifestMain.txt jarcontents ; cat jargs-1.0.jar | (cd jarcontents; jar -x jargs) ; cd jarcontents ; $(JAR) -cmf ManifestMain.txt ../gfeditor.jar  de/uka/ilkd/key/ocl/gf/*.class jargs ; cd .. ; rm -rf jarcontents ; cd ..
+	cd $(GFEDITOR) ; rm -rf jarcontents ; mkdir jarcontents ; cp -r de/ ManifestMain.txt ../../LICENSE LICENCE_jargs jarcontents ; cat jargs-1.0.jar | (cd jarcontents; jar -x jargs) ; cd jarcontents ; $(JAR) -cmf ManifestMain.txt ../gfeditor.jar  de/uka/ilkd/key/ocl/gf/*.class jargs LICENSE LICENCE_jargs ; cd .. ; cd ..
 
 showflags:
 	@echo $(GHCFLAGS)