- fixed bugs in BoogiePrinter
- minor bug fixes in different locations
- new jar file generated
Merge branch 'master' of https://github.com/martinschaef/boogieamp.git