Main-Class: main/PromelaCompiler
Class-Path: anarres-cpp/anarres-cpp.jar
