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.