System.err.println("Error starting server:"); io.printStackTrace();
Log.log(Log.ERROR,this,io);
	EditServer(String portFile)	{		super("jEdit server [" + portFile + "]");		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();			System.out.println("jEdit server started on port "				+ socket.getLocalPort()				+ " (port file: " + portFile + ")");		}		catch(IOException io)		{			System.err.println("Error starting server:");			io.printStackTrace();			return;		}		start();	}