#20 New license header for Java files.

Author: dhendriks

src/main/java/com/github/javabdd/BDD.java

@@ -1,6 +1,15 @@
-// BDD.java, created Jan 29, 2003 9:50:57 PM by jwhaley
-// Copyright (C) 2003 John Whaley
-// Licensed under the terms of the GNU LGPL; see COPYING for details.
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 2003, 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
+//////////////////////////////////////////////////////////////////////////////
 
 package com.github.javabdd;
 

src/main/java/com/github/javabdd/BDDBitVector.java

@@ -1,6 +1,15 @@
-// BDDBitVector.java, created Jul 14, 2003 9:50:57 PM by jwhaley
-// Copyright (C) 2003 John Whaley
-// Licensed under the terms of the GNU LGPL; see COPYING for details.
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 2003, 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
+//////////////////////////////////////////////////////////////////////////////
 
 package com.github.javabdd;
 

src/main/java/com/github/javabdd/BDDDomain.java

@@ -1,6 +1,15 @@
-// BDDDomain.java, created Jan 29, 2003 9:50:57 PM by jwhaley
-// Copyright (C) 2003 John Whaley
-// Licensed under the terms of the GNU LGPL; see COPYING for details.
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 2003, 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
+//////////////////////////////////////////////////////////////////////////////
 
 package com.github.javabdd;
 

src/main/java/com/github/javabdd/BDDException.java

@@ -1,6 +1,15 @@
-// BDDException.java, created Jan 29, 2003 9:50:57 PM by jwhaley
-// Copyright (C) 2003 John Whaley
-// Licensed under the terms of the GNU LGPL; see COPYING for details.
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 2003, 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
+//////////////////////////////////////////////////////////////////////////////
 
 package com.github.javabdd;
 

src/main/java/com/github/javabdd/BDDFactory.java

@@ -1,6 +1,15 @@
-// BDDFactory.java, created Jan 29, 2003 9:50:57 PM by jwhaley
-// Copyright (C) 2003 John Whaley
-// Licensed under the terms of the GNU LGPL; see COPYING for details.
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 2003, 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
+//////////////////////////////////////////////////////////////////////////////
 
 package com.github.javabdd;
 

src/main/java/com/github/javabdd/BDDFactoryIntImpl.java

@@ -1,6 +1,15 @@
-// BDDFactoryIntImpl.java, created Jul 16, 2006 2:59:55 PM by jwhaley
-// Copyright (C) 2004-2006 John Whaley <[email protected]>
-// Licensed under the terms of the GNU LGPL; see COPYING for details.
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 2004, 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
+//////////////////////////////////////////////////////////////////////////////
 
 package com.github.javabdd;
 

src/main/java/com/github/javabdd/BDDPairing.java

@@ -1,6 +1,15 @@
-// BDDPairing.java, created Jan 29, 2003 9:50:57 PM by jwhaley
-// Copyright (C) 2003 John Whaley
-// Licensed under the terms of the GNU LGPL; see COPYING for details.
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 2003, 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
+//////////////////////////////////////////////////////////////////////////////
 
 package com.github.javabdd;
 

src/main/java/com/github/javabdd/BDDVarSet.java

@@ -1,6 +1,15 @@
-// BDDVarSet.java, created Jul 13, 2006 8:53:13 PM by jwhaley
-// Copyright (C) 2004-2006 John Whaley <[email protected]>
-// Licensed under the terms of the GNU LGPL; see COPYING for details.
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 2004, 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
+//////////////////////////////////////////////////////////////////////////////
 
 package com.github.javabdd;
 

src/main/java/com/github/javabdd/BitString.java

@@ -1,6 +1,15 @@
-// BitString.java, created Wed May 16 17:26:33 2001 by joewhaley
-// Copyright (C) 2001-3 John Whaley <[email protected]>
-// Licensed under the terms of the GNU LGPL; see COPYING for details.
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 2001, 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
+//////////////////////////////////////////////////////////////////////////////
 
 package com.github.javabdd;
 

src/main/java/com/github/javabdd/FindBestOrder.java

@@ -1,6 +1,15 @@
-// FindBestOrder.java, created Apr 2, 2004 10:43:21 PM 2004 by jwhaley
-// Copyright (C) 2004 John Whaley <[email protected]>
-// Licensed under the terms of the GNU LGPL; see COPYING for details.
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 2004, 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
+//////////////////////////////////////////////////////////////////////////////
 
 package com.github.javabdd;
 

src/main/java/com/github/javabdd/JFactory.java

@@ -1,6 +1,15 @@
-// JFactory.java, created Aug 1, 2003 7:06:47 PM by joewhaley
-// Copyright (C) 2003 John Whaley <[email protected]>
-// Licensed under the terms of the GNU LGPL; see COPYING for details.
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 2003, 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
+//////////////////////////////////////////////////////////////////////////////
 
 package com.github.javabdd;
 

src/main/java/com/github/javabdd/TryVarOrder.java

@@ -1,6 +1,15 @@
-// TryVarOrder.java, created Apr 2, 2004 10:43:21 PM 2004 by jwhaley
-// Copyright (C) 2004 John Whaley <[email protected]>
-// Licensed under the terms of the GNU LGPL; see COPYING for details.
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 2004, 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
+//////////////////////////////////////////////////////////////////////////////
 
 package com.github.javabdd;