buf = new byte[1024];
	EditServer(String portFile)	{		super("jEdit server daemon [" + portFile + "]");		setDaemon(true);		this.portFile = portFile;		try		{			socket = new DatagramSocket(); // Bind to any port			authKey = String.valueOf(Math.abs(new Random().nextInt()));			int port = socket.getLocalPort();			FileWriter out = new FileWriter(portFile);			out.write(String.valueOf(port));			out.write("\n");			out.write(authKey);			out.write("\n");			out.close();			Log.log(Log.DEBUG,this,"UDP server started on port "				+ socket.getLocalPort());			Log.log(Log.DEBUG,this,"Authorization key is "				+ authKey);			// is 1k enough?			buf = new byte[1024];			ok = true;		}		catch(Exception e)		{			/* on some Windows versions, connections to localhost			 * fail if the network is not running. To avoid			 * confusing newbies with weird error messages, log			 * errors that occur while starting the server			 * as NOTICE, not ERROR */			Log.log(Log.NOTICE,this,e);		}	}