This is a distribution of freely distributable libraries used in the KeY system. For downloading the KeY system refer to http://i12www.iti.kit.edu/~key ------------------------------------------------------------------------ The library "Recoder" is protected by the GNU Lesser General Public License. See the file "LGPL.txt" that is part of this distribution. ------------------------------------------------------------------------ The library "Antlr" is in the public domain. See the file "Antlr.License.txt" that is part of this distribution. ------------------------------------------------------------------------ The library "JUnit" is protected by the IBM Common Public License Version 0.5 See the file "JUnit.License.txt" that is part of this distribution. ----------------------------------------------------------------------- The library "log4j" is protected by the Apache License 2.0 See the file "log4j.License.txt" that is part of this distribution. ----------------------------------------------------------------------- The library "javacc" is protected by a BSD like license See the file "javacc.License.txt" that is part of this distribution. ----------------------------------------------------------------------- The library "objenesis" is protected by the Apache License 2.0 See the file "objenesis.License.txt" that is part of this distribution.