@@ -0,0 +1,241 @@
+package edu.iastate.cs.design.spec.export;%0A%0Aimport boa.types.Spec;%0A%0Aimport java.util.List;%0A%0Apublic class JmlToBoa %7B%0A%0A    public static List%3CSpec.Specification%3E JmlToBoaProtobuf(String jml) %7B%0A        // TODO%0A        return null;%0A    %7D%0A    %0A%7D%0A

Add skeleton class for exporting Boa specs