Log.log(Log.ERROR,this,io);
Log.log(Log.NOTICE,this,io);
	EditServer(String portFile)	{		super("jEdit server daemon [" + portFile + "]");		setDaemon(true);		this.portFile = portFile;		try		{			socket = new ServerSocket(0); // Bind to any port			authKey = Math.abs(new Random().nextInt());			FileWriter out = new FileWriter(portFile);			out.write(String.valueOf(socket.getLocalPort()));			out.write("\n");			out.write(String.valueOf(authKey));			out.write("\n");			out.close();			Log.log(Log.DEBUG,this,"jEdit server started on port "				+ socket.getLocalPort());			Log.log(Log.DEBUG,this,"Authorization key is "				+ authKey);		}		catch(IOException io)		{			Log.log(Log.ERROR,this,io);			return;		}		start();	}