110111112113114115116117118119120
public void run() { try { // lineReader=new LineNumberReader(new // InputStreamReader(inputPipe)); simulator = new Simulator(); simulator.setSyscall(me); String file = getParameter("executable"); URL url;