public HttpServer( Configuration conf, int port, int min, int max ) throws EXistException { this.config = conf; HttpServer.port = port; if ( config.getProperty( "port" ) != null ) port = ( (Integer) config.getProperty( "port" ) ).intValue(); if ( ( basedir = (String) config.getProperty( "basedir" ) ) == null ) basedir = "."; pool = new ConnectionPool( min, max, config );
public HttpServer( Configuration conf ) throws EXistException { this( conf, 8088 );
    public HttpServer( Configuration conf, int port, int min, int max ) throws EXistException {        this.config = conf;        HttpServer.port = port;        if ( config.getProperty( "port" ) != null )            port = ( (Integer) config.getProperty( "port" ) ).intValue();        if ( ( basedir = (String) config.getProperty( "basedir" ) ) == null )            basedir = ".";        pool = new ConnectionPool( min, max, config );    }