Program: 48474
Project: 48474
Buggy source:
private String loginAndGetSessionTicket(){
  URI sdkUri=null;
  if (!vcExtensionRegistered) {
    return null;
  }
  try {
    sdkUri=new URI("String_Node_Str");
  }
 catch (  URISyntaxException e) {
    logger.error(e);
    return null;
  }
  HttpConfigurationImpl httpConfig=new HttpConfigurationImpl();
  httpConfig.setTimeoutMs(SESSION_TIME_OUT);
  httpConfig.setKeyStore(CmsKeyStore.getKeyStore());
  httpConfig.setDefaultProxy(vcHost,80,"String_Node_Str");
  httpConfig.getKeyStoreConfig().setKeyAlias(CmsKeyStore.VC_EXT_KEY);
  httpConfig.getKeyStoreConfig().setKeyPassword(CmsKeyStore.getVCExtPassword());
  httpConfig.setThumbprintVerifier(getThumbprintVerifier());
  HttpClientConfiguration clientConfig=HttpClientConfiguration.Factory.newInstance();
  clientConfig.setHttpConfiguration(httpConfig);
  Client client=Client.Factory.createClient(sdkUri,version,clientConfig);
  SessionManager sm=null;
  try {
    ManagedObjectReference svcRef=new ManagedObjectReference();
    svcRef.setType("String_Node_Str");
    svcRef.setValue("String_Node_Str");
    ServiceInstance si=client.createStub(ServiceInstance.class,svcRef);
    sm=client.createStub(SessionManager.class,si.getContent().getSessionManager());
    sm.loginExtensionByCertificate(extKey,"String_Node_Str");
    String ticket=sm.acquireSessionTicket(null);
    logger.info("String_Node_Str");
    return ticket;
  }
 catch (  Exception e) {
    logger.error("String_Node_Str",e);
    return null;
  }
 finally {
    VcContext.getVcCleaner().logout("String_Node_Str",client,sm,executor,httpConfig);
  }
}

Fixed version (ground truth):
private String loginAndGetSessionTicket(){
  URI sdkUri=null;
  if (!vcExtensionRegistered) {
    return null;
  }
  try {
    sdkUri=new URI("String_Node_Str");
  }
 catch (  URISyntaxException e) {
    logger.error(e);
    return null;
  }
  HttpConfigurationImpl httpConfig=new HttpConfigurationImpl();
  httpConfig.setTimeoutMs(SESSION_TIME_OUT);
  httpConfig.setKeyStore(CmsKeyStore.getKeyStore());
  httpConfig.setDefaultProxy(vcHost,80,"String_Node_Str");
  httpConfig.getKeyStoreConfig().setKeyAlias(CmsKeyStore.VC_EXT_KEY);
  httpConfig.getKeyStoreConfig().setKeyPassword(CmsKeyStore.getVCExtPassword());
  httpConfig.setThumbprintVerifier(getThumbprintVerifier());
  HttpClientConfiguration clientConfig=HttpClientConfiguration.Factory.newInstance();
  clientConfig.setHttpConfiguration(httpConfig);
  Client client=Client.Factory.createClient(sdkUri,version,clientConfig);
  SessionManager sm=null;
  try {
    ManagedObjectReference svcRef=new ManagedObjectReference();
    svcRef.setType("String_Node_Str");
    svcRef.setValue("String_Node_Str");
    ServiceInstance si=client.createStub(ServiceInstance.class,svcRef);
    sm=client.createStub(SessionManager.class,si.getContent().getSessionManager());
    sm.loginExtensionByCertificate(extKey,"String_Node_Str");
    String ticket=sm.acquireSessionTicket(null);
    logger.info("String_Node_Str");
    return ticket;
  }
 catch (  Exception e) {
    logger.error("String_Node_Str",e);
    return null;
  }
 finally {
    VcContext.getVcCleaner().logout("String_Node_Str",client,sm,null,httpConfig);
  }
}