435436437438439440441442443
protected void save(){ if(exporthelpDirectoryChooser!=null){ int result=exporthelpDirectoryChooser.showSaveDialog(this); if (result == JFileChooser.APPROVE_OPTION){ new HelpExtractor(rootNode, exporthelpDirectoryChooser.getSelectedFile()); } } }