if(url != null)
if(saveUrl != null)
	public boolean save(View view, String path)	{		if(path == null && newFile)			return saveAs(view);		if(path != null)		{			try			{				url = new URL(path);			}			catch(MalformedURLException mu)			{				url = null;			}			this.path = path;			setPath();		}		backup();		try		{			OutputStream out;			if(url != null)			{				URLConnection connection = url.openConnection();				out = connection.getOutputStream();			}			else				out = new FileOutputStream(file);			if(name.endsWith(".gz"))				out = new GZIPOutputStream(out);			save(out);			saveMarkers();			dirty = newFile = readOnly = false;			autosaveFile.delete();			updateStatus();			updateTitles();			updateBufferMenus();			return true;		}		catch(IOException io)		{			Object[] args = { io.toString() };			jEdit.error(view,"ioerror",args);		}		catch(BadLocationException bl)		{		}		return false;	}