class WlsClusterConfig {

  public synchronized int getClusterSize() {
    return servers.size();
  }

  public  WlsClusterConfig();
  public  WlsClusterConfig(String clusterName);
  public  WlsClusterConfig(String clusterName, WlsDynamicServersConfig dynamicServersConfig);

}