Main-Class: cvc3/Test
Class-Path: libcvc3.jar
