continuation of java-runtime-licenses.txt

## 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
