// Path: GerritDownloader/src/main/java/com/holmsted/gerrit/GerritServer.java
// public class GerritServer {
// 
//     private static final int GERRIT_DEFAULT_PORT = 29418;
//     private final int port;
// 
//     @Nonnull
//     private final String serverName;
//     private final String privateKey;
// 
//     public GerritServer(@Nonnull String serverName, int port, @Nonnull String privateKey) {
//         this.serverName = serverName;
//         this.port = port != 0 ? port : GERRIT_DEFAULT_PORT;
//         this.privateKey = privateKey;
//     }
// 
//     public String getServerName() {
//         return serverName;
//     }
// 
//     public int getPort() {
//         return port;
//     }
// 
//     public String getPrivateKey() {
//         return privateKey;
//     }
// 
//     @Override
//     public String toString() {
//         return String.format("%s:%d", serverName, port);
//     }
// }
// 
// Path: GerritDownloader/src/main/java/com/holmsted/gerrit/downloaders/ProjectLister.java
// public abstract class ProjectLister {
// 
//     @Nonnull
//     private final GerritServer gerritServer;
// 
//     public ProjectLister(@Nonnull GerritServer gerritServer) {
//         this.gerritServer = gerritServer;
//     }
// 
//     @Nonnull
//     public GerritServer getGerritServer() {
//         return gerritServer;
//     }
// 
//     @Nonnull
//     public abstract List<String> getProjectListing();
// }


import com.holmsted.gerrit.GerritServer;
import com.holmsted.gerrit.downloaders.ProjectLister;
import java.util.List;
import javax.annotation.Nonnull;
package com.holmsted.gerrit.downloaders.ssh;




/**
 * Creates a listing of all Gerrit projects on the given server.
 */
public class SshProjectLister extends ProjectLister {

    public SshProjectLister(@Nonnull GerritServer gerritServer) {
        super(gerritServer);
    }

// Path: GerritDownloader/src/main/java/com/holmsted/gerrit/GerritServer.java
// public class GerritServer {
// 
//     private static final int GERRIT_DEFAULT_PORT = 29418;
//     private final int port;
// 
//     @Nonnull
//     private final String serverName;
//     private final String privateKey;
// 
//     public GerritServer(@Nonnull String serverName, int port, @Nonnull String privateKey) {
//         this.serverName = serverName;
//         this.port = port != 0 ? port : GERRIT_DEFAULT_PORT;
//         this.privateKey = privateKey;
//     }
// 
//     public String getServerName() {
//         return serverName;
//     }
// 
//     public int getPort() {
//         return port;
//     }
// 
//     public String getPrivateKey() {
//         return privateKey;
//     }
// 
//     @Override
//     public String toString() {
//         return String.format("%s:%d", serverName, port);
//     }
// }
// 
// Path: GerritDownloader/src/main/java/com/holmsted/gerrit/downloaders/ProjectLister.java
// public abstract class ProjectLister {
// 
//     @Nonnull
//     private final GerritServer gerritServer;
// 
//     public ProjectLister(@Nonnull GerritServer gerritServer) {
//         this.gerritServer = gerritServer;
//     }
// 
//     @Nonnull
//     public GerritServer getGerritServer() {
//         return gerritServer;
//     }
// 
//     @Nonnull
//     public abstract List<String> getProjectListing();
// }


// Path: GerritDownloader/src/main/java/com/holmsted/gerrit/downloaders/ssh/SshProjectLister.java
import com.holmsted.gerrit.GerritServer;
import com.holmsted.gerrit.downloaders.ProjectLister;
import java.util.List;
import javax.annotation.Nonnull;

package com.holmsted.gerrit.downloaders.ssh;




/**
 * Creates a listing of all Gerrit projects on the given server.
 */
public class SshProjectLister extends ProjectLister {

    public SshProjectLister(@Nonnull GerritServer gerritServer) {
        super(gerritServer);
    }

    @Nonnull