public class ConvertMilestone1to2 extends Object
Constructor and Description |
---|
ConvertMilestone1to2() |
Modifier and Type | Method and Description |
---|---|
static void |
convert(File in,
File out)
Convert a milestone 1 file to milestone 2.
|
static void |
main(String[] args)
Class can be used as utility to convert a single file.
|
public static void convert(File in, File out) throws org.jdom.JDOMException, IOException
in
- the original m1 fileout
- the target m2 fileorg.jdom.JDOMException
- the JDOM exceptionIOException
- the IO exceptionpublic static void main(String[] args) throws org.jdom.JDOMException, IOException
args
- the argsorg.jdom.JDOMException
- the JDOM exceptionIOException
- the IO exceptionCopyright © 2018 SEMS project @ University of Rostock. All rights reserved.