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

kenneth_suter

30.31.2007 cfb5767d9216efaf0c1738b5ce1ae243630fd8f5

 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;
  }

  /**