diff --git a/.checkstyle b/.checkstyle
index 4f63892..6af492e 100644
--- a/.checkstyle
+++ b/.checkstyle
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 
 <!--
-Copyright (c) 2021, 2022 John Whaley and others
+Copyright (c) 2021-2023 John Whaley and others
 
 See the CONTRIBUTORS file(s) distributed with this work for additional
 information regarding copyright ownership.
diff --git a/.classpath b/.classpath
index b4a19c0..ce98e59 100644
--- a/.classpath
+++ b/.classpath
@@ -1,7 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
 	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
-	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src/main/java"/>
 	<classpathentry kind="con" path="org.eclipse.m2e.MAVEN2_CLASSPATH_CONTAINER"/>
 	<classpathentry kind="output" path="target/classes"/>
diff --git a/build.properties b/.gitattributes
similarity index 61%
rename from build.properties
rename to .gitattributes
index b2bef07..1554f7b 100644
--- a/build.properties
+++ b/.gitattributes
@@ -1,17 +1,24 @@
-##############################################################################
-# Copyright (c) 2020, 2022 John Whaley and others
-#
-# See the CONTRIBUTORS file(s) distributed with this work for additional
-# information regarding copyright ownership.
-#
-# This program and the accompanying materials are made available under the
-# terms of the GNU Library General Public License v2 or later, which is
-# available at https://spdx.org/licenses/LGPL-2.0-or-later.html
-#
-# SPDX-License-Identifier: LGPL-2.0-or-later
-##############################################################################
-
-source.. = src/main/java/
-bin.includes = .,\
-               META-INF/
-src.includes = src/
+##############################################################################
+# Copyright (c) 2020-2023 John Whaley and others
+#
+# See the CONTRIBUTORS file(s) distributed with this work for additional
+# information regarding copyright ownership.
+#
+# This program and the accompanying materials are made available under the
+# terms of the GNU Library General Public License v2 or later, which is
+# available at https://spdx.org/licenses/LGPL-2.0-or-later.html
+#
+# SPDX-License-Identifier: LGPL-2.0-or-later
+##############################################################################
+
+# Set the default behavior, convert to native line endings on checkout.
+* text=auto
+
+# Declare files that will always have certain line endings on checkout.
+*.bash text eol=lf
+*.sh text eol=lf
+
+# Denote all files that are truly binary.
+*.class     binary
+*.jar       binary
+*.png       binary
diff --git a/.gitignore b/.gitignore
index 65afd5c..58068dc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,5 @@
 ##############################################################################
-# Copyright (c) 2020, 2022 John Whaley and others
+# Copyright (c) 2020-2023 John Whaley and others
 #
 # See the CONTRIBUTORS file(s) distributed with this work for additional
 # information regarding copyright ownership.
diff --git a/.project b/.project
index 320f75c..d6d90c1 100644
--- a/.project
+++ b/.project
@@ -10,16 +10,6 @@
 			<arguments>
 			</arguments>
 		</buildCommand>
-		<buildCommand>
-			<name>org.eclipse.pde.ManifestBuilder</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
-		<buildCommand>
-			<name>org.eclipse.pde.SchemaBuilder</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
 		<buildCommand>
 			<name>org.eclipse.m2e.core.maven2Builder</name>
 			<arguments>
@@ -34,7 +24,6 @@
 	<natures>
 		<nature>org.eclipse.jdt.core.javanature</nature>
 		<nature>org.eclipse.m2e.core.maven2Nature</nature>
-		<nature>org.eclipse.pde.PluginNature</nature>
 		<nature>net.sf.eclipsecs.core.CheckstyleNature</nature>
 	</natures>
 </projectDescription>
diff --git a/META-INF/MANIFEST.MF b/META-INF/MANIFEST.MF
deleted file mode 100644
index c5b5207..0000000
--- a/META-INF/MANIFEST.MF
+++ /dev/null
@@ -1,9 +0,0 @@
-Manifest-Version: 1.0
-Bundle-ManifestVersion: 2
-Bundle-Name: JavaBDD
-Bundle-SymbolicName: com.github.javabdd
-Bundle-Version: 3.0.0.qualifier
-Export-Package: com.github.javabdd
-Bundle-RequiredExecutionEnvironment: JavaSE-11
-Automatic-Module-Name: com.github.javabdd
-Bundle-Vendor: com-github-javabdd
diff --git a/com.github.javabdd.build.launch b/com.github.javabdd.build.launch
new file mode 100644
index 0000000..a69d011
--- /dev/null
+++ b/com.github.javabdd.build.launch
@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<launchConfiguration type="org.eclipse.m2e.Maven2LaunchConfigurationType">
+    <booleanAttribute key="M2_DEBUG_OUTPUT" value="false"/>
+    <stringAttribute key="M2_GOALS" value="clean verify"/>
+    <booleanAttribute key="M2_NON_RECURSIVE" value="false"/>
+    <booleanAttribute key="M2_OFFLINE" value="false"/>
+    <stringAttribute key="M2_PROFILES" value=""/>
+    <listAttribute key="M2_PROPERTIES"/>
+    <stringAttribute key="M2_RUNTIME" value="EMBEDDED"/>
+    <booleanAttribute key="M2_SKIP_TESTS" value="false"/>
+    <intAttribute key="M2_THREADS" value="1"/>
+    <booleanAttribute key="M2_UPDATE_SNAPSHOTS" value="false"/>
+    <stringAttribute key="M2_USER_SETTINGS" value=""/>
+    <booleanAttribute key="M2_WORKSPACE_RESOLUTION" value="false"/>
+    <stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${workspace}"/>
+    <booleanAttribute key="org.eclipse.jdt.launching.ATTR_ATTR_USE_ARGFILE" value="false"/>
+    <booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_CLASSPATH_ONLY_JAR" value="false"/>
+    <stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${workspace_loc:/com.github.javabdd}"/>
+</launchConfiguration>
diff --git a/pom.xml b/pom.xml
index d54964f..cad5d1b 100644
--- a/pom.xml
+++ b/pom.xml
@@ -1,5 +1,5 @@
 <!--
-Copyright (c) 2020, 2022 John Whaley and others
+Copyright (c) 2020-2023 John Whaley and others
 
 See the CONTRIBUTORS file(s) distributed with this work for additional
 information regarding copyright ownership.
@@ -11,7 +11,9 @@ available at https://spdx.org/licenses/LGPL-2.0-or-later.html
 SPDX-License-Identifier: LGPL-2.0-or-later
 -->
 
-<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
+<project xmlns="http://maven.apache.org/POM/4.0.0"
+    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
 
     <modelVersion>4.0.0</modelVersion>
 
@@ -20,10 +22,15 @@ SPDX-License-Identifier: LGPL-2.0-or-later
     <version>4.0.1-SNAPSHOT</version>
     <packaging>jar</packaging>
 
-    <name>com.github.javabdd</name>
+    <name>JavaBDD</name>
     <url>https://github.com/com-github-javabdd/com.github.javabdd</url>
     <description>JavaBDD: A Java library for Binary Decision Diagrams (BDDs)</description>
 
+    <properties>
+        <java.version>11</java.version>
+        <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
+    </properties>
+
     <licenses>
         <license>
             <name>LGPL-2.0-or-later</name>
@@ -31,6 +38,10 @@ SPDX-License-Identifier: LGPL-2.0-or-later
         </license>
     </licenses>
 
+    <organization>
+        <name>${project.groupId}</name>
+    </organization>
+
     <developers>
         <developer>
             <id>dhendriks</id>
@@ -40,12 +51,6 @@ SPDX-License-Identifier: LGPL-2.0-or-later
         </developer>
     </developers>
 
-    <properties>
-        <project.build.sourceEncoding>
-            UTF-8
-        </project.build.sourceEncoding>
-    </properties>
-
     <build>
         <plugins>
             <plugin>
@@ -53,14 +58,52 @@ SPDX-License-Identifier: LGPL-2.0-or-later
                 <artifactId>maven-compiler-plugin</artifactId>
                 <version>3.10.1</version>
                 <configuration>
-                    <encoding>UTF-8</encoding>
+                    <encoding>${project.build.sourceEncoding}</encoding>
                     <failOnWarning>true</failOnWarning>
                     <parameters>true</parameters>
-                    <release>11</release>
+                    <release>${java.version}</release>
                     <showDeprecation>true</showDeprecation>
                     <showWarnings>true</showWarnings>
-                    <source>11</source>
-                    <target>11</target>
+                    <source>${java.version}</source>
+                    <target>${java.version}</target>
+                </configuration>
+            </plugin>
+
+            <plugin>
+                <groupId>org.apache.felix</groupId>
+                <artifactId>maven-bundle-plugin</artifactId>
+                <version>5.1.8</version>
+                <extensions>true</extensions>
+                <executions>
+                    <execution>
+                        <id>bundle-manifest</id>
+                        <phase>process-classes</phase>
+                        <goals>
+                            <goal>manifest</goal>
+                        </goals>
+                    </execution>
+                </executions>
+                <configuration>
+                    <instructions>
+                        <Automatic-Module-Name>${project.artifactId}</Automatic-Module-Name>
+                        <Bundle-ActivationPolicy>lazy</Bundle-ActivationPolicy>
+                        <Bundle-RequiredExecutionEnvironment>JavaSE-${java.version}</Bundle-RequiredExecutionEnvironment>
+                        <!-- PDE does not support Require-Capability, only Bundle-RequiredExecutionEnvironment. -->
+                        <!-- Bundle-RequiredExecutionEnvironment may not be mixed with Require-Capability. -->
+                        <_noee>true</_noee>
+                    </instructions>
+                    <niceManifest>true</niceManifest>
+                </configuration>
+            </plugin>
+
+            <plugin>
+                <groupId>org.apache.maven.plugins</groupId>
+                <artifactId>maven-jar-plugin</artifactId>
+                <version>3.3.0</version>
+                <configuration>
+                    <archive>
+                        <manifestFile>${project.build.outputDirectory}/META-INF/MANIFEST.MF</manifestFile>
+                    </archive>
                 </configuration>
             </plugin>
 
@@ -81,23 +124,19 @@ SPDX-License-Identifier: LGPL-2.0-or-later
             <plugin>
                 <groupId>org.apache.maven.plugins</groupId>
                 <artifactId>maven-release-plugin</artifactId>
-                <version>3.0.0-M7</version>
+                <version>3.0.0</version>
                 <configuration>
                     <localCheckout>true</localCheckout>
                     <pushChanges>false</pushChanges>
                     <mavenExecutorId>forked-path</mavenExecutorId>
-                    <arguments>
-                        -Dgpg.passphrase=${gpg.passphrase}
-                    </arguments>
+                    <arguments>-Dgpg.passphrase=${gpg.passphrase}</arguments>
                     <tagNameFormat>@{project.version}</tagNameFormat>
                 </configuration>
                 <dependencies>
                     <dependency>
                         <groupId>org.apache.maven.scm</groupId>
-                        <artifactId>
-                            maven-scm-provider-gitexe
-                        </artifactId>
-                        <version>2.0.0-M3</version>
+                        <artifactId>maven-scm-provider-gitexe</artifactId>
+                        <version>2.0.0</version>
                     </dependency>
                 </dependencies>
             </plugin>
@@ -174,25 +213,17 @@ SPDX-License-Identifier: LGPL-2.0-or-later
     <distributionManagement>
         <snapshotRepository>
             <id>ossrh</id>
-            <url>
-                https://oss.sonatype.org/content/repositories/snapshots
-            </url>
+            <url>https://oss.sonatype.org/content/repositories/snapshots</url>
         </snapshotRepository>
         <repository>
             <id>ossrh</id>
-            <url>
-                https://oss.sonatype.org/service/local/staging/deploy/maven2/
-            </url>
+            <url>https://oss.sonatype.org/service/local/staging/deploy/maven2/</url>
         </repository>
     </distributionManagement>
 
     <scm>
-        <connection>
-            scm:git:git://github.com/dexecutor/dependent-tasks-executor.git
-        </connection>
-        <developerConnection>
-            scm:git:git@github.com:dexecutor/dexecutor.git
-        </developerConnection>
+        <connection>scm:git:git://github.com/dexecutor/dependent-tasks-executor.git</connection>
+        <developerConnection>scm:git:git@github.com:dexecutor/dexecutor.git</developerConnection>
         <url>https://github.com/com-github-javabdd/com.github.javabdd</url>
         <tag>HEAD</tag>
     </scm>
diff --git a/release-perform b/release-perform
index 2acfe0e..82d6200 100644
--- a/release-perform
+++ b/release-perform
@@ -1,7 +1,7 @@
 #!/usr/bin/bash
 
 ##############################################################################
-# Copyright (c) 2020, 2022 John Whaley and others
+# Copyright (c) 2020-2023 John Whaley and others
 #
 # See the CONTRIBUTORS file(s) distributed with this work for additional
 # information regarding copyright ownership.
diff --git a/release-prepare b/release-prepare
index a27899f..c1b98d3 100644
--- a/release-prepare
+++ b/release-prepare
@@ -1,7 +1,7 @@
 #!/usr/bin/bash
 
 ##############################################################################
-# Copyright (c) 2020, 2022 John Whaley and others
+# Copyright (c) 2020-2023 John Whaley and others
 #
 # 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 17c7ac1..6e11ffb 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, 2022 John Whaley and others
+// Copyright (c) 2003-2023 John Whaley and others
 //
 // 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 9d611f7..838766a 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, 2022 John Whaley and others
+// Copyright (c) 2003-2023 John Whaley and others
 //
 // 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 b92dc9c..0bb7176 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, 2022 John Whaley and others
+// Copyright (c) 2003-2023 John Whaley and others
 //
 // 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 66e2173..08202b9 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, 2022 John Whaley and others
+// Copyright (c) 2003-2023 John Whaley and others
 //
 // 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 6c904fb..a311712 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, 2022 John Whaley and others
+// Copyright (c) 2003-2023 John Whaley and others
 //
 // 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 16e1b51..b19f978 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, 2022 John Whaley and others
+// Copyright (c) 2004-2023 John Whaley and others
 //
 // 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 2af8799..2c3eaaf 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, 2022 John Whaley and others
+// Copyright (c) 2003-2023 John Whaley and others
 //
 // 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 1e5e451..e8d8d05 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, 2022 John Whaley and others
+// Copyright (c) 2004-2023 John Whaley and others
 //
 // 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 80bbf49..21e731a 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, 2022 John Whaley and others
+// Copyright (c) 2001-2023 John Whaley and others
 //
 // 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 ad77d6d..0573226 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, 2022 John Whaley and others
+// Copyright (c) 2004-2023 John Whaley and others
 //
 // 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 3801b17..abf50e3 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, 2022 John Whaley and others
+// Copyright (c) 2003-2023 John Whaley and others
 //
 // 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 8021a0b..33d497d 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, 2022 John Whaley and others
+// Copyright (c) 2004-2023 John Whaley and others
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.