205206207208209210211212213214215
writer.flush(); } }); } else { exec.disable(); } if (SHOW_FILE_CHOOSER) { JButton chooseFile = new JButton("Choose file"); top.add(chooseFile);