Program: 30338
Project: 30338
Buggy source:
public static TokenValueSet getTokenValueSet(DomainConfig domainConfig){
  final String installRoot=(String)domainConfig.get(DomainConfig.K_INSTALL_ROOT);
  final String domainRoot=(String)domainConfig.get(DomainConfig.K_DOMAINS_ROOT);
  final TokenValueSet tokens=new TokenValueSet();
  String instanceName=(String)domainConfig.get(DomainConfig.K_SERVERID);
  if ((instanceName == null) || (instanceName.equals("String_Node_Str")))   instanceName=PEFileLayout.DEFAULT_INSTANCE_NAME;
  TokenValue tv=new TokenValue(CONFIG_MODEL_NAME_TOKEN_NAME,CONFIG_MODEL_NAME_TOKEN_VALUE);
  tokens.add(tv);
  tv=new TokenValue(HOST_NAME_TOKEN_NAME,(String)domainConfig.get(DomainConfig.K_HOST_NAME));
  tokens.add(tv);
  final Integer adminPort=(Integer)domainConfig.get(DomainConfig.K_ADMIN_PORT);
  tv=new TokenValue(ADMIN_PORT_TOKEN_NAME,adminPort.toString());
  tokens.add(tv);
  final Integer httpPort=(Integer)domainConfig.get(DomainConfig.K_INSTANCE_PORT);
  tv=new TokenValue(HTTP_PORT_TOKEN_NAME,httpPort.toString());
  tokens.add(tv);
  final Integer orbPort=(Integer)domainConfig.get(DomainConfig.K_ORB_LISTENER_PORT);
  tv=new TokenValue(ORB_LISTENER_PORT_TOKEN_NAME,orbPort.toString());
  tokens.add(tv);
  final Integer jmsPort=(Integer)domainConfig.get(DomainConfig.K_JMS_PORT);
  tv=new TokenValue(JMS_PROVIDER_PORT_TOKEN_NAME,jmsPort.toString());
  tokens.add(tv);
  tv=new TokenValue(SERVER_ID_TOKEN_NAME,instanceName);
  tokens.add(tv);
  final Integer httpSslPort=(Integer)domainConfig.get(DomainConfig.K_HTTP_SSL_PORT);
  tv=new TokenValue(HTTP_SSL_PORT_TOKEN_NAME,httpSslPort.toString());
  tokens.add(tv);
  final Integer orbSslPort=(Integer)domainConfig.get(DomainConfig.K_IIOP_SSL_PORT);
  tv=new TokenValue(ORB_SSL_PORT_TOKEN_NAME,orbSslPort.toString());
  tokens.add(tv);
  final Integer orbMutualAuthPort=(Integer)domainConfig.get(DomainConfig.K_IIOP_MUTUALAUTH_PORT);
  tv=new TokenValue(ORB_MUTUALAUTH_PORT_TOKEN_NAME,orbMutualAuthPort.toString());
  tokens.add(tv);
  final Integer jmxPort=(Integer)domainConfig.get(DomainConfig.K_JMX_PORT);
  tv=new TokenValue(JMX_SYSTEM_CONNECTOR_PORT_TOKEN_NAME,jmxPort.toString());
  tokens.add(tv);
  tv=new TokenValue(DOMAIN_NAME_TOKEN_NAME,domainConfig.getRepositoryName());
  tokens.add(tv);
  final Integer osgiShellTelnetPort=(Integer)domainConfig.get(DomainConfig.K_OSGI_SHELL_TELNET_PORT);
  tv=new TokenValue(OSGI_SHELL_TELNET_PORT_TOKEN_NAME,osgiShellTelnetPort.toString());
  tokens.add(tv);
  final Integer javaDebuggerPort=(Integer)domainConfig.get(DomainConfig.K_JAVA_DEBUGGER_PORT);
  tv=new TokenValue(JAVA_DEBUGGER_PORT_TOKEN_NAME,javaDebuggerPort.toString());
  tokens.add(tv);
  tv=new TokenValue(ADMIN_CERT_DN_TOKEN_NAME,(String)domainConfig.get(DomainConfig.K_ADMIN_CERT_DN));
  tokens.add(tv);
  tv=new TokenValue(INSTANCE_CERT_DN_TOKEN_NAME,(String)domainConfig.get(DomainConfig.K_INSTANCE_CERT_DN));
  tokens.add(tv);
  tv=new TokenValue(SECURE_ADMIN_IDENTIFIER_TOKEN_NAME,(String)domainConfig.get(DomainConfig.K_SECURE_ADMIN_IDENTIFIER));
  tokens.add(tv);
  return (tokens);
}

Fixed version (ground truth):
public static TokenValueSet getTokenValueSet(DomainConfig domainConfig){
  final TokenValueSet tokens=new TokenValueSet();
  String instanceName=(String)domainConfig.get(DomainConfig.K_SERVERID);
  if ((instanceName == null) || (instanceName.equals("String_Node_Str")))   instanceName=PEFileLayout.DEFAULT_INSTANCE_NAME;
  TokenValue tv=new TokenValue(CONFIG_MODEL_NAME_TOKEN_NAME,CONFIG_MODEL_NAME_TOKEN_VALUE);
  tokens.add(tv);
  tv=new TokenValue(HOST_NAME_TOKEN_NAME,(String)domainConfig.get(DomainConfig.K_HOST_NAME));
  tokens.add(tv);
  final Integer adminPort=(Integer)domainConfig.get(DomainConfig.K_ADMIN_PORT);
  tv=new TokenValue(ADMIN_PORT_TOKEN_NAME,adminPort.toString());
  tokens.add(tv);
  final Integer httpPort=(Integer)domainConfig.get(DomainConfig.K_INSTANCE_PORT);
  tv=new TokenValue(HTTP_PORT_TOKEN_NAME,httpPort.toString());
  tokens.add(tv);
  final Integer orbPort=(Integer)domainConfig.get(DomainConfig.K_ORB_LISTENER_PORT);
  tv=new TokenValue(ORB_LISTENER_PORT_TOKEN_NAME,orbPort.toString());
  tokens.add(tv);
  final Integer jmsPort=(Integer)domainConfig.get(DomainConfig.K_JMS_PORT);
  tv=new TokenValue(JMS_PROVIDER_PORT_TOKEN_NAME,jmsPort.toString());
  tokens.add(tv);
  tv=new TokenValue(SERVER_ID_TOKEN_NAME,instanceName);
  tokens.add(tv);
  final Integer httpSslPort=(Integer)domainConfig.get(DomainConfig.K_HTTP_SSL_PORT);
  tv=new TokenValue(HTTP_SSL_PORT_TOKEN_NAME,httpSslPort.toString());
  tokens.add(tv);
  final Integer orbSslPort=(Integer)domainConfig.get(DomainConfig.K_IIOP_SSL_PORT);
  tv=new TokenValue(ORB_SSL_PORT_TOKEN_NAME,orbSslPort.toString());
  tokens.add(tv);
  final Integer orbMutualAuthPort=(Integer)domainConfig.get(DomainConfig.K_IIOP_MUTUALAUTH_PORT);
  tv=new TokenValue(ORB_MUTUALAUTH_PORT_TOKEN_NAME,orbMutualAuthPort.toString());
  tokens.add(tv);
  final Integer jmxPort=(Integer)domainConfig.get(DomainConfig.K_JMX_PORT);
  tv=new TokenValue(JMX_SYSTEM_CONNECTOR_PORT_TOKEN_NAME,jmxPort.toString());
  tokens.add(tv);
  tv=new TokenValue(DOMAIN_NAME_TOKEN_NAME,domainConfig.getRepositoryName());
  tokens.add(tv);
  final Integer osgiShellTelnetPort=(Integer)domainConfig.get(DomainConfig.K_OSGI_SHELL_TELNET_PORT);
  tv=new TokenValue(OSGI_SHELL_TELNET_PORT_TOKEN_NAME,osgiShellTelnetPort.toString());
  tokens.add(tv);
  final Integer javaDebuggerPort=(Integer)domainConfig.get(DomainConfig.K_JAVA_DEBUGGER_PORT);
  tv=new TokenValue(JAVA_DEBUGGER_PORT_TOKEN_NAME,javaDebuggerPort.toString());
  tokens.add(tv);
  tv=new TokenValue(ADMIN_CERT_DN_TOKEN_NAME,(String)domainConfig.get(DomainConfig.K_ADMIN_CERT_DN));
  tokens.add(tv);
  tv=new TokenValue(INSTANCE_CERT_DN_TOKEN_NAME,(String)domainConfig.get(DomainConfig.K_INSTANCE_CERT_DN));
  tokens.add(tv);
  tv=new TokenValue(SECURE_ADMIN_IDENTIFIER_TOKEN_NAME,(String)domainConfig.get(DomainConfig.K_SECURE_ADMIN_IDENTIFIER));
  tokens.add(tv);
  return (tokens);
}