This commit is mainly intended to prevent the sort of false positives that ...

kenneth_suter

30.31.2007 c4b9bc65a899b18c2b7a4b8c38e7eeab51027700

 opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/upgrader/RemoteBuildManager.java

@@ -68,10 +68,13 @@
   * Creates an instance.
   * @param app using this tool
   * @param url base context for an OpenDS build list
   * @param proxy Proxy to use for connections; can be null if not proxy is
   * to be used
   */
  public RemoteBuildManager(Application app, URL url) {
  public RemoteBuildManager(Application app, URL url, Proxy proxy) {
    this.app = app;
    this.buildListUrl = url;
    this.proxy = proxy;
  }

  /**