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

