package cdx;

import javax.safetycritical.SafeletExecuter;

/* Class added by Frank Zeyda */

public class Main {
    public static void main(String[] args) {
        SafeletExecuter.run(new CDxSafelet());
    }
}
