Program: 153756
Project: 153756
Buggy source:
public static void connect() throws SocketTimeoutException, IOException {
  if (charserv_io != null) {
    return;
  }
  System.out.println("String_Node_Str");
  Properties p=new Properties();
  String server_url=null;
  try {
    p.load(new FileInputStream("String_Node_Str"));
    server_url=p.getProperty("String_Node_Str");
  }
 catch (  IOException ex) {
    server_url="String_Node_Str";
  }
  System.out.println("String_Node_Str" + server_url);
  String[] server_params=server_url.split("String_Node_Str");
  if (server_params.length != 2) {
    server_params=new String[]{"String_Node_Str","String_Node_Str"};
  }
  charserv_io=new IoLayer(server_params[0],Integer.parseInt(server_params[1])){
{
      String[] whitelist={"String_Node_Str"};
      set_whitelist(whitelist);
    }
    @Override protected void parse_network_data(    String[] data) throws IOException {
      if (data[0].equals("String_Node_Str")) {
        Main.game.set_state(Game.GameModes.InGame);
        Player.character_id=Integer.parseInt(data[2]);
        chatserver_io=new IoLayer(data[5],Integer.parseInt(data[6])){
{
            String[] whitelist={"String_Node_Str"};
            set_whitelist(whitelist);
          }
          @Override protected void parse_network_data(          String[] data){
          }
        }
;
        gameserv_io=new GameServerLayer(data[3],Integer.parseInt(data[4]));
        gameserv_io.sock_send("String_Node_Str" + Player.character_id);
      }
      if (data[0].equals("String_Node_Str")) {
        EPlayerAuthorise event=new EPlayerAuthorise();
        event.post();
      }
    }
  }
;
}

Fixed version (ground truth):
public static void connect() throws SocketTimeoutException, IOException {
  if (charserv_io != null) {
    return;
  }
  System.out.println("String_Node_Str");
  Properties p=new Properties();
  String server_url=null;
  try {
    p.load(new FileInputStream("String_Node_Str"));
    server_url=p.getProperty("String_Node_Str");
  }
 catch (  IOException ex) {
    server_url="String_Node_Str";
  }
  System.out.println("String_Node_Str" + server_url);
  String[] server_params=server_url.split("String_Node_Str");
  if (server_params.length != 2) {
    server_params=new String[]{"String_Node_Str","String_Node_Str"};
  }
  charserv_io=new IoLayer(server_params[0],Integer.parseInt(server_params[1])){
{
      String[] whitelist={"String_Node_Str","String_Node_Str"};
      set_whitelist(whitelist);
    }
    @Override protected void parse_network_data(    String[] data) throws IOException {
      if (data[0].equals("String_Node_Str")) {
        Main.game.set_state(Game.GameModes.InGame);
        Player.character_id=Integer.parseInt(data[2]);
        chatserver_io=new IoLayer(data[5],Integer.parseInt(data[6])){
{
            String[] whitelist={"String_Node_Str"};
            set_whitelist(whitelist);
          }
          @Override protected void parse_network_data(          String[] data){
          }
        }
;
        gameserv_io=new GameServerLayer(data[3],Integer.parseInt(data[4]));
        gameserv_io.sock_send("String_Node_Str" + Player.character_id);
      }
      if (data[0].equals("String_Node_Str")) {
        EPlayerAuthorise event=new EPlayerAuthorise();
        event.post();
      }
    }
  }
;
}