From 20a916d436c4da3477d440b15221579695e22b67 Mon Sep 17 00:00:00 2001
From: Dennis Hendriks <dhendriks@users.noreply.github.com>
Date: Sat, 9 Aug 2025 18:40:47 +0200
Subject: [PATCH] #80 Update copyright year to 2025.

---
 .checkstyle                                             | 2 +-
 .gitattributes                                          | 2 +-
 .gitignore                                              | 2 +-
 pom.xml                                                 | 2 +-
 release-perform                                         | 2 +-
 release-prepare                                         | 2 +-
 src/main/java/com/github/javabdd/BDD.java               | 2 +-
 src/main/java/com/github/javabdd/BDDBitVector.java      | 2 +-
 src/main/java/com/github/javabdd/BDDDomain.java         | 2 +-
 src/main/java/com/github/javabdd/BDDException.java      | 2 +-
 src/main/java/com/github/javabdd/BDDFactory.java        | 2 +-
 src/main/java/com/github/javabdd/BDDFactoryIntImpl.java | 2 +-
 src/main/java/com/github/javabdd/BDDPairing.java        | 2 +-
 src/main/java/com/github/javabdd/BDDVarSet.java         | 2 +-
 src/main/java/com/github/javabdd/BitString.java         | 2 +-
 src/main/java/com/github/javabdd/FindBestOrder.java     | 2 +-
 src/main/java/com/github/javabdd/JFactory.java          | 2 +-
 src/main/java/com/github/javabdd/TryVarOrder.java       | 2 +-
 18 files changed, 18 insertions(+), 18 deletions(-)

diff --git a/.checkstyle b/.checkstyle
index f46e768..235448f 100644
--- a/.checkstyle
+++ b/.checkstyle
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 
 <!--
-Copyright (c) 2021-2024 John Whaley and com.github.javabdd contributors
+Copyright (c) 2021-2025 John Whaley and com.github.javabdd contributors
 
 See the CONTRIBUTORS file(s) distributed with this work for additional
 information regarding copyright ownership.
diff --git a/.gitattributes b/.gitattributes
index 772d22f..0fde427 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -1,5 +1,5 @@
 ##############################################################################
-# Copyright (c) 2020-2024 John Whaley and com.github.javabdd contributors
+# Copyright (c) 2020-2025 John Whaley and com.github.javabdd contributors
 #
 # See the CONTRIBUTORS file(s) distributed with this work for additional
 # information regarding copyright ownership.
diff --git a/.gitignore b/.gitignore
index 9d44bb4..59d1a9b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,5 @@
 ##############################################################################
-# Copyright (c) 2020-2024 John Whaley and com.github.javabdd contributors
+# Copyright (c) 2020-2025 John Whaley and com.github.javabdd contributors
 #
 # See the CONTRIBUTORS file(s) distributed with this work for additional
 # information regarding copyright ownership.
diff --git a/pom.xml b/pom.xml
index 61fa4ea..47a203f 100644
--- a/pom.xml
+++ b/pom.xml
@@ -1,5 +1,5 @@
 <!--
-Copyright (c) 2020-2024 John Whaley and com.github.javabdd contributors
+Copyright (c) 2020-2025 John Whaley and com.github.javabdd contributors
 
 See the CONTRIBUTORS file(s) distributed with this work for additional
 information regarding copyright ownership.
diff --git a/release-perform b/release-perform
index 9bfde8e..e3bc6a3 100644
--- a/release-perform
+++ b/release-perform
@@ -1,7 +1,7 @@
 #!/usr/bin/bash
 
 ##############################################################################
-# Copyright (c) 2020-2024 John Whaley and com.github.javabdd contributors
+# Copyright (c) 2020-2025 John Whaley and com.github.javabdd contributors
 #
 # See the CONTRIBUTORS file(s) distributed with this work for additional
 # information regarding copyright ownership.
diff --git a/release-prepare b/release-prepare
index 01e1911..c935e28 100644
--- a/release-prepare
+++ b/release-prepare
@@ -1,7 +1,7 @@
 #!/usr/bin/bash
 
 ##############################################################################
-# Copyright (c) 2020-2024 John Whaley and com.github.javabdd contributors
+# Copyright (c) 2020-2025 John Whaley and com.github.javabdd contributors
 #
 # See the CONTRIBUTORS file(s) distributed with this work for additional
 # information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/BDD.java b/src/main/java/com/github/javabdd/BDD.java
index 53acd35..4d080df 100644
--- a/src/main/java/com/github/javabdd/BDD.java
+++ b/src/main/java/com/github/javabdd/BDD.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2003-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2003-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/BDDBitVector.java b/src/main/java/com/github/javabdd/BDDBitVector.java
index 9139b03..f22c877 100644
--- a/src/main/java/com/github/javabdd/BDDBitVector.java
+++ b/src/main/java/com/github/javabdd/BDDBitVector.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2003-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2003-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/BDDDomain.java b/src/main/java/com/github/javabdd/BDDDomain.java
index 32141e9..32b1c32 100644
--- a/src/main/java/com/github/javabdd/BDDDomain.java
+++ b/src/main/java/com/github/javabdd/BDDDomain.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2003-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2003-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/BDDException.java b/src/main/java/com/github/javabdd/BDDException.java
index 728b422..2a234bf 100644
--- a/src/main/java/com/github/javabdd/BDDException.java
+++ b/src/main/java/com/github/javabdd/BDDException.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2003-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2003-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/BDDFactory.java b/src/main/java/com/github/javabdd/BDDFactory.java
index 0bf8dcd..6b1ba9c 100644
--- a/src/main/java/com/github/javabdd/BDDFactory.java
+++ b/src/main/java/com/github/javabdd/BDDFactory.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2003-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2003-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/BDDFactoryIntImpl.java b/src/main/java/com/github/javabdd/BDDFactoryIntImpl.java
index 76de42e..458393b 100644
--- a/src/main/java/com/github/javabdd/BDDFactoryIntImpl.java
+++ b/src/main/java/com/github/javabdd/BDDFactoryIntImpl.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2004-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2004-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/BDDPairing.java b/src/main/java/com/github/javabdd/BDDPairing.java
index 8e5f6a1..5ae164f 100644
--- a/src/main/java/com/github/javabdd/BDDPairing.java
+++ b/src/main/java/com/github/javabdd/BDDPairing.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2003-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2003-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/BDDVarSet.java b/src/main/java/com/github/javabdd/BDDVarSet.java
index 2d8928e..014aa09 100644
--- a/src/main/java/com/github/javabdd/BDDVarSet.java
+++ b/src/main/java/com/github/javabdd/BDDVarSet.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2004-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2004-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/BitString.java b/src/main/java/com/github/javabdd/BitString.java
index f5cf5db..3df567b 100644
--- a/src/main/java/com/github/javabdd/BitString.java
+++ b/src/main/java/com/github/javabdd/BitString.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2001-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2001-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/FindBestOrder.java b/src/main/java/com/github/javabdd/FindBestOrder.java
index 809b17c..54b3440 100644
--- a/src/main/java/com/github/javabdd/FindBestOrder.java
+++ b/src/main/java/com/github/javabdd/FindBestOrder.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2004-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2004-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/JFactory.java b/src/main/java/com/github/javabdd/JFactory.java
index cd17780..9e27c26 100644
--- a/src/main/java/com/github/javabdd/JFactory.java
+++ b/src/main/java/com/github/javabdd/JFactory.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2003-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2003-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/TryVarOrder.java b/src/main/java/com/github/javabdd/TryVarOrder.java
index 993f330..eb7a039 100644
--- a/src/main/java/com/github/javabdd/TryVarOrder.java
+++ b/src/main/java/com/github/javabdd/TryVarOrder.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2004-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2004-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.