This file contains copyright and license declarations
of libraries shipped in the java/runtime/ subdirectory.
It's main purpose is that the reuse tool picks up all licenses
and adds them to the LICENSE folder,
which helps when creating a CPAchecker release archive.
(For this, the file size needs to be less than 4kB,
so we split it.)

## Animal Sniffer Annotations
SPDX-FileCopyrightText: 2008 Kohsuke Kawaguchi and codehaus.org
SPDX-License-Identifier: MIT

## Antlr Runtime
SPDX-FileCopyrightText: 2012-2017 The ANTLR Project
SPDX-License-Identifier: BSD-3-Clause

## Apache Felix Resolver (part of Eclipse libraries)
SPDX-FileCopyrightText: The Apache Software Foundation
SPDX-License-Identifier: Apache-2.0

## Batik
SPDX-FileCopyrightText: 1999-2020 The Apache Software Foundation
SPDX-License-Identifier: Apache-2.0

This product includes software developed at
The Apache Software Foundation (http://www.apache.org/).

This software contains code from the World Wide Web Consortium (W3C) for the 
Document Object Model API (DOM API) and SVG Document Type Definition (DTD).

This software contains code from the International Organisation for
Standardization for the definition of character entities used in the software's
documentation.

This product includes images from the Tango Desktop Project
(http://tango.freedesktop.org/).

This product includes images from the Pasodoble Icon Theme
(http://www.jesusda.com/projects/pasodoble).

## Boolector
SPDX-FileCopyrightText: 2007-2018 Armin Biere
SPDX-FileCopyrightText: 2007-2009 Robert Brummayer
SPDX-FileCopyrightText: 2012-2018 Aina Niemetz
SPDX-FileCopyrightText: 2012-2018 Mathias Preiner
SPDX-License-Identifier: MIT

## Checker Framework Annotations
SPDX-FileCopyrightText: 2009-2020 The Checker Framework developers
SPDX-License-Identifier: MIT

## CVC4
SPDX-FileCopyrightText: 2009-2020 The CVC4 authors and contributors and their institutional affiliations
SPDX-License-Identifier: LicenseRef-BSD-3-Clause-CVC4

## Eclipse libraries
SPDX-FileCopyrightText: 2000-2014 IBM Corporation and others
SPDX-License-Identifier: EPL-1.0

## Error Prone Annotations
SPDX-License-Identifier: Apache-2.0
SPDX-FileCopyrightText: The Error Prone authors

## Guava
SPDX-FileCopyrightText: The Guava authors
SPDX-License-Identifier: Apache-2.0

## ICU
SPDX-FileCopyrightText: 1995-2011 International Business Machines Corporation and others
SPDX-License-Identifier: ICU

## J2ObjC Annotations
SPDX-FileCopyrightText: Google Inc.
SPDX-License-Identifier: Apache-2.0

## JavaBDD
SPDX-FileCopyrightText: 2003 John Whaley
SPDX-License-Identifier: LGPL-2.1-or-later

## JavaCUP Runtime
SPDX-FileCopyrightText: 1996-2015 Scott Hudson, Frank Flannery, C. Scott Ananian, Michael Petter
SPDX-License-Identifier: LicenseRef-CUP

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

## JDD
SPDX-FileCopyrightText: 2002-2019 Arash Vahidi
SPDX-License-Identifier: Zlib

## jhoafparser
SPDX-FileCopyrightText: 2014-2015 Joachim Klein <klein@tcs.inf.tu-dresden.de>, David Müller <david.mueller@tcs.inf.tu-dresden.de>
SPDX-License-Identifier: LGPL-2.1-or-later

## JNA
SPDX-FileCopyrightText: The JNA authors
SPDX-License-Identifier: Apache-2.0 OR LGPL-2.1-or-later

## JSR305 Annotations
SPDX-FileCopyrightText: The JSR305 authors
SPDX-License-Identifier: Apache-2.0

continuation in java-runtime-licenses-2.txt
