Copyright (c) 2020 Institute of Software Engineering and Programming Languages, 
University of Lübeck, Germany

Permission is hereby granted, free of charge, to any person obtaining a copy of 
this binary (the "Software"), to deal in the Software without restriction, 
including without limitation the rights to use, copy, modify, merge, publish, 
distribute, sublicense, and/or sell copies of the Software and the code which is 
generated by the Software, and to permit persons to whom the Software is 
furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in all 
copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS 
FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR 
COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER 
IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN 
CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
===============================================================================
The software links directly or indirectly the following works. The corresponding 
licenses are given in brackets:

antlr (BSD License)
cats (MIT License) 
checkerframework (GNU GPL License with classpath exception)
ctf-reader (Eclipse Public License 1.0)
google-errorprone (Apache License, Version 2.0)
google-guava (Apache License, Version 2.0)
google-j2objc (Apache License, Version 2.0)
jackson (Apache License, Version 2.0) 
joda-time (Apache License, Version 2.0) 
macro-compat (Apache License, Version 2.0)
mojo-animalsniffer (MIT License) 
openjdk (GNU GPL License with classpath exception) 
play-json (Apache License, Version 2.0) 
plume-lib (MIT License)
scala (Apache License, Version 2.0) 
scalatest (Apache License, Version 2.0) 
sexyopt (MIT License)
spray-json (Apache License, Version 2.0) 
txtmark (Apache License, Version 2.0)

Copyright notices:

antlr: Copyright (c) 2012 Terence Parr and Sam Harwell
cats: Copyright (c) 2015 Cats Contributors.
checkerframework: Copyright 2004-present by the Checker Framework developers
plume-lib: Copyright (c) 2017 plume-lib
scala: Copyright (c) 2002-2020 EPFL, Copyright (c) 2011-2020 Lightbend, Inc.
sexyopt: Copyright (c) 2017 Sebastian Hungerecker
txtmark: Copyright (C) 2011-2015 René Jeschke rene_jeschke@yahoo.de
================================================================================
See META-INF/NOTICE, META-INF/LICENSE for further information
================================================================================ 
