continuation of java-runtime-licenses.txt

## libedit
SPDX-FileCopyrightText: 1992, 1993 The Regents of the University of California
SPDX-License-Identifier: BSD-3-Clause

This code is derived from software contributed to Berkeley by
Christos Zoulas of Cornell University.

## libtinfo
SPDX-FileCopyrightText: 1980, 1991, 1992, 1993 The Regents of the University of California
SPDX-FileCopyrightText: 1994 X Consortium
SPDX-FileCopyrightText: 1996-2018 Thomas E. Dickey
SPDX-FileCopyrightText: 1998-2018 Free Software Foundation, Inc.
SPDX-FileCopyrightText: 2001 Pradeep Padala
SPDX-License-Identifier: BSD-3-Clause AND MIT AND X11

## LLVM
SPDX-FileCopyrightText: 2003-2017 University of Illinois at Urbana-Champaign
SPDX-License-Identifier: NCSA

## LLVM-J
SPDX-FileCopyrightText: 2012 Kevin Kelly
SPDX-FileCopyrightText: 2013 Richard Lincoln
SPDX-FileCopyrightText: 2017 Marek Chalupa
SPDX-FileCopyrightText: 2017-2020 Dirk Beyer <https://www.sosy-lab.org>
SPDX-License-Identifier: LGPL-3.0-or-later AND MIT

## MathSAT
SPDX-FileCopyrightText: 2009-2020 Fondazione Bruno Kessler, Trento, Italy, University of Trento, Italy, and others
SPDX-License-Identifier: LicenseRef-MathSAT-CPAchecker

## MiniSat
SPDX-FileCopyrightText: 2003-2006 Niklas Een
SPDX-FileCopyrightText: 2003-2010 Niklas Sorensson
SPDX-License-Identifier: MIT

## OSGi Materials (part of Eclipse libraries)
SPDX-FileCopyrightText: 2000-2006 OSGi Alliance
SPDX-License-Identifier: Apache-2.0

## PicoSAT
SPDX-FileCopyrightText: 2006-2014 Armin Biere, Johannes Kepler University
SPDX-License-Identifier: MIT

## PJBDD
SPDX-FileCopyrightText: 2018-2020 Dirk Beyer <https://www.sosy-lab.org>
SPDX-License-Identifier: Apache-2.0

## Princess
SPDX-FileCopyrightText: Philipp Ruemmer
SPDX-License-Identifier: LGPL-2.1-or-later

## Scala Libraries
SPDX-FileCopyrightText: 2002-2018 LAMP/EPFL and Lightbend, Inc.
SPDX-License-Identifier: BSD-3-Clause AND Apache-2.0

## SoSy-Lab Common
SPDX-FileCopyrightText: 2007-2021 Dirk Beyer <https://www.sosy-lab.org>
SPDX-License-Identifier: Apache-2.0

## SpotBugs Annotations
SPDX-FileCopyrightText: University of Maryland
SPDX-License-Identifier: LGPL-2.1-or-later

## Ultimate framework, LassoRanker, and SMTInterpol
SPDX-FileCopyrightText: 2009-2020 University of Freiburg
SPDX-License-Identifier: LGPL-3.0-or-later

## Z3
SPDX-FileCopyrightText: Microsoft Corporation
SPDX-License-Identifier: MIT
