300301302303304305306307308309310
// EXPORT PROFILE if( profFile.value != null ) { try { FileWriter fs = new FileWriter(profFile.value); venn.writeProfile(fs); fs.close(); } catch (IOException e) { e.printStackTrace();