DemoVersion.java

// DemoVersion.java
import org.jmlspecs.openjml.*;

public class DemoVersion {
    public static void main(String[] argv) {
        try {
            IAPI m = Factory.makeAPI();
            String s = m.version();
            System.out.println(s);
        } catch (Exception e) {
            System.out.println(e);         
        }
    }
}