docs: public void setServerLaunchConfigurations(java.util.Collection<ServerLaunchConfiguration> serverLaunchConfigurations) {
          if (serverLaunchConfigurations == null) {
              this.serverLaunchConfigurations = null;
              return;
          }
  
          this.serverLaunchConfigurations = new java.util.ArrayList<ServerLaunchConfiguration>(serverLaunchConfigurations);
      }