178179180181182183184185186187188
if (!path.endsWith(".txt")) { f = new File(path + ".txt"); } else { f = fc.getSelectedFile(); } txtWriter = new FileWrite(f.getAbsolutePath(), output.getText()); txtWriter.storeToFile(); break; } }