Relicense KeY from GPLv2-only to GPLv2-or-later

.github/pull_request_template.md

@@ -77,4 +77,4 @@ This pull request resolves #.
      Please use the draft mode unless you think that your proposal
      should be brought onto master in the current form. -->
 
-The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.
+The contributions within this pull request are licensed under GPLv2, or (at your option) any later version, for inclusion in KeY.

CONTRIBUTING.md

@@ -21,4 +21,4 @@ More detailed information is available in the [KeY Developer Documentation](http
 
 ### Licensing
 
-KeY is published under the [GPLv2](https://www.gnu.org/licenses/old-licenses/gpl-2.0.html.en) (no later versions). By opening a PR, you are licensing your contribution under the GPLv2 for inclusion in KeY.
+KeY is published under the [GPLv2](https://www.gnu.org/licenses/old-licenses/gpl-2.0.html.en), or (at your option) any later version. By opening a PR, you are licensing your contribution under the GPLv2 (or later) for inclusion in KeY.

LICENSE.TXT

@@ -34,7 +34,8 @@
 
        The KeY system 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; version 2.
+       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 

README.md

@@ -18,7 +18,7 @@ For more information, refer to
   * [Verification of `java.util.IdentityHashMap`](https://doi.org/10.1007/978-3-031-07727-2_4),
   * [Google Award for analysing a bug in `LinkedList`](https://www.key-project.org/2023/07/23/cwi-researchers-win-google-award-for-finding-a-bug-in-javas-linkedlist-using-key/)
 
-The current version of KeY is 3.1.0-dev, licensed under GPL v2.
+The current version of KeY is 3.1.0-dev, licensed under GPL v2 or later.
 
 
 Feel free to use the project templates to get started using KeY:
@@ -121,6 +121,6 @@ Copyright (C) 2011-2026 Karlsruhe Institute of Technology, Germany
 						Technical University Darmstadt, Germany
 						Chalmers University of Technology, Sweden
 
-The KeY system is protected by the GNU General Public License.
+The KeY system is protected by the GNU General Public License, Version 2 or (at your option) any later version.
 See LICENSE.TXT for details.
 ```

build.gradle

@@ -322,7 +322,7 @@ subprojects {
 
             licenses {
                 license {
-                    name = "GNU General Public License (GPL), Version 2"
+                    name = "GNU General Public License (GPL), Version 2, or later"
                     url = "https://www.gnu.org/licenses/old-licenses/gpl-2.0.html"
                 }
             }

gradle/header

@@ -1,3 +1,3 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */

key.core.example/src/main/java/org/key_project/Main.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package org.key_project;
 
 

key.core.infflow/src/main/java/de/uka/ilkd/key/InfFlowStatistics.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key;
 
 import java.util.List;

key.core.infflow/src/main/java/de/uka/ilkd/key/InfFlowUseOperationContractRule.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key;
 
 import de.uka.ilkd.key.informationflow.ProofObligationVars;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/FocusIsSubFormulaOfInfFlowContractAppFeature.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow;
 
 import de.uka.ilkd.key.informationflow.rule.executor.InfFlowContractAppTacletExecutor;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/InfFlowContractAppFeature.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow;
 
 import java.util.ArrayList;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/InfFlowProfileResolver.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow;
 
 import de.uka.ilkd.key.proof.init.DefaultProfileResolver;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/JavaInfFlowProfile.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow;
 
 import de.uka.ilkd.key.InfFlowUseOperationContractRule;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/ProofObligationVars.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow;
 
 import de.uka.ilkd.key.informationflow.proof.init.StateVars;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/impl/InformationFlowContractImpl.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.impl;
 
 import java.util.Iterator;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/impl/InformationFlowContractImplSupplier.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.impl;
 
 import de.uka.ilkd.key.speclang.infflow.InformationFlowContract;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/macros/AbstractFinishAuxiliaryComputationMacro.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.macros;
 
 import java.util.Map;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/macros/AuxiliaryComputationAutoPilotMacro.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.macros;
 
 import de.uka.ilkd.key.macros.FinishSymbolicExecutionMacro;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/macros/ExhaustiveProofMacro.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.macros;
 
 

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/macros/FinishAuxiliaryBlockComputationMacro.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.macros;
 
 import de.uka.ilkd.key.control.UserInterfaceControl;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/macros/FinishAuxiliaryComputationMacro.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.macros;
 
 import de.uka.ilkd.key.macros.AlternativeMacro;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/macros/FinishAuxiliaryLoopComputationMacro.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.macros;
 
 import de.uka.ilkd.key.control.UserInterfaceControl;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/macros/FinishAuxiliaryMethodComputationMacro.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.macros;
 
 import de.uka.ilkd.key.control.UserInterfaceControl;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/macros/FullInformationFlowAutoPilotMacro.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.macros;
 
 import de.uka.ilkd.key.informationflow.po.AbstractInfFlowPO;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/macros/FullUseInformationFlowContractMacro.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.macros;
 
 import de.uka.ilkd.key.informationflow.po.AbstractInfFlowPO;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/macros/PrepareInfFlowContractPreBranchesMacro.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.macros;
 
 import de.uka.ilkd.key.informationflow.FocusIsSubFormulaOfInfFlowContractAppFeature;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/macros/SelfcompositionStateExpansionMacro.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.macros;
 
 import java.util.Set;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/macros/StartAuxiliaryBlockComputationMacro.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.macros;
 
 import de.uka.ilkd.key.control.UserInterfaceControl;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/macros/StartAuxiliaryComputationMacro.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.macros;
 
 import de.uka.ilkd.key.macros.AlternativeMacro;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/macros/StartAuxiliaryLoopComputationMacro.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.macros;
 
 import de.uka.ilkd.key.control.UserInterfaceControl;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/macros/StartAuxiliaryMethodComputationMacro.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.macros;
 
 import de.uka.ilkd.key.control.UserInterfaceControl;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/macros/StartSideProofMacro.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.macros;
 
 import de.uka.ilkd.key.macros.ProofMacro;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/macros/StateExpansionAndInfFlowContractApplicationMacro.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.macros;
 
 import de.uka.ilkd.key.informationflow.po.AbstractInfFlowPO;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/macros/UseInformationFlowContractMacro.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.macros;
 
 import java.util.Arrays;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/po/AbstractInfFlowPO.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.po;
 
 import java.io.IOException;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/po/BlockExecutionPO.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.po;
 
 import java.util.List;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/po/IFProofObligationVars.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.po;
 
 import java.util.HashMap;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/po/InfFlowCompositePO.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.po;
 
 

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/po/InfFlowContractPO.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.po;
 
 import java.util.List;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/po/InfFlowContractPOLoader.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.po;
 
 import de.uka.ilkd.key.proof.init.IPersistablePO;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/po/InfFlowLeafPO.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.po;
 
 

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/po/InfFlowPO.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.po;
 
 import de.uka.ilkd.key.logic.JTerm;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/po/InfFlowProofSymbols.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.po;
 
 import java.util.LinkedList;

key.core.infflow/src/main/java/de/uka/ilkd/key/informationflow/po/LoopInvExecutionPO.java

@@ -1,6 +1,6 @@
 /* This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License Version 2
- * SPDX-License-Identifier: GPL-2.0-only */
+ * KeY is licensed under the GNU General Public License Version 2, or (at your option) any later version.
+ * SPDX-License-Identifier: GPL-2.0-or-later */
 package de.uka.ilkd.key.informationflow.po;
 
 import java.util.List;