}
void saveControllerAndGenerateDoc() {
final XJFileChooser fileChooser = MainFrame.getFileChooser();
ExtensionFileFilter filter = new ExtensionFileFilter(
"GATE Application files", "gapp");
fileChooser.addChoosableFileFilter(filter);
fileChooser.setDialogTitle("Select a file where to save the application "
+ ((theTarget instanceof CorpusController
&& ((CorpusController)theTarget).getCorpus() != null) ?