public void run() {
                    try {
                        p.waitFor();
                    } catch (InterruptedException ex) {
                        // OK, just quit.
                        return;
                    }
//                    System.out.println("Program terminated!");
                    ResultList.add("Program terminated!");
                    done = true;
                }