/**
 * This package contains code to parse Java. The code is copied in large parts
 * from the ultimate project of the University of Freiburg:
 * https://github.com/ultimate-pa/ultimate
 * Somewhere along the way, the headers in the Java files got changed during a 
 * refactoring, but the code is mostly their work or based on their work. 
 */
package bixie.boogie;
