import org.sintef.thingml.helpers.ThingHelper;
import org.thingml.compilers.Context;
import org.thingml.compilers.javascript.JSCfgMainGenerator;
import org.thingml.compilers.javascript.JSCompiler;
import org.thingml.compilers.spi.NetworkPlugin;
<BUG>import org.thingml.compilers.spi.SerializationPlugin;</BUG>
import java.io.*;
import java.net.URI;
<BUG>import java.net.URISyntaxException;</BUG>
import java.nio.charset.Charset;

import org.sintef.thingml.helpers.ThingHelper;
import org.thingml.compilers.Context;
import org.thingml.compilers.javascript.JSCfgMainGenerator;
import org.thingml.compilers.javascript.JSCompiler;
import org.thingml.compilers.spi.NetworkPlugin;
import java.io.*;
import java.net.URI;
import java.nio.charset.Charset;
