
Licenses
--------

The distribution of this software is governed by the LGPL license,
as described in the LICENSE.LGPL file in the current directory.

Crystal program analysis system
Copyright (C) 2004-2006 Crystal project, Cornell University

This software is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License as published by the Free Software Foundation. This software
is distributed WITHOUT ANY WARRANTY. 


1) Java CUP License:
 
CUP Parser Generator Copyright Notice, License, and Disclaimer
Copyright 1996-1999 by Scott Hudson, Frank Flannery, C. Scott Ananian

Permission to use, copy, modify, and distribute this software and 
its documentation for any purpose and without fee is hereby granted, 
provided that the above copyright notice appear in all copies and 
that both the copyright notice and this permission notice and warranty 
disclaimer appear in supporting documentation, and that the names of 
the authors or their employers not be used in advertising or publicity 
pertaining to distribution of the software without specific, written 
prior permission.

The authors and their employers disclaim all warranties with regard to 
this software, including all implied warranties of merchantability and 
fitness. In no event shall the authors or their employers be liable for 
any special, indirect or consequential damages or any damages whatsoever 
resulting from loss of use, data or profits, whether in an action of 
contract, negligence or other tortious action, arising out of or in 
connection with the use or performance of this software.

This is an open source license. It is also GPL-Compatible (see entry 
for "Standard ML of New Jersey"). The portions of CUP output which 
are hard-coded into the CUP source code are (naturally) covered by this 
same license, as is the CUP runtime code linked with the generated parser.

Java is a trademark of Sun Microsystems, Inc. References to the Java 
programming language in relation to JLex are not meant to imply that 
Sun endorses this product. 


2) JFlex license:

JFlex is free software, published under the terms of the 
GNU General Public License (GPL). 

There is absolutely NO WARRANTY for JFlex, its code and its documentation. 
  
The code generated by JFlex inherits the copyright of the specification it
was produced from. If it was your specification, you may use the generated 
code without restriction.

