public void exportPatch(File file) throws IOException, FileNotFoundException {  if (!checkSelected()) return;
public void exportPatch(File file) throws IOException, FileNotFoundException {
    public void exportPatch(File file) throws IOException, FileNotFoundException {    	/* Almost the same thing occurs in LibraryFrame and SceneFrame also.    	 * Maybe we should have something like    	 * static final writePatch(OutputStream, IPatch) in Patch.    	 */        if (!checkSelected()) return;        FileOutputStream fileOut = new FileOutputStream(file);        fileOut.write(getSelectedPatch().export());        fileOut.close();    }