Program: 75473
Project: 75473
Buggy source:
/** 
 * Return a default Configuration.  The initial default configuration is the MoML file ptolemy/configs/full/configuration.xml, but using different command line arguments can change the value
 * @return A default configuration.
 * @exception Exception If the configuration cannot be opened.
 */
protected Configuration _createDefaultConfiguration() throws Exception {
  if (_configurationURL == null) {
    _configurationURL=specToURL("String_Node_Str");
  }
  Configuration configuration=null;
  try {
    configuration=_readConfiguration(_configurationURL);
  }
 catch (  Exception ex) {
    throw new Exception("String_Node_Str" + _configurationURL + "String_Node_Str",ex);
  }
  String libraryName=null;
  try {
    libraryName=StringUtilities.preferencesDirectory() + BasicGraphFrame.VERGIL_USER_LIBRARY_NAME + "String_Node_Str";
  }
 catch (  Exception ex) {
    System.out.println("String_Node_Str" + "String_Node_Str" + ex);
  }
  if (libraryName != null) {
    System.out.print("String_Node_Str" + libraryName + "String_Node_Str");
    File file=new File(libraryName);
    if (!file.isFile() || !file.exists()) {
      try {
        file.createNewFile();
        FileWriter writer=new FileWriter(file);
        writer.write("String_Node_Str" + BasicGraphFrame.VERGIL_USER_LIBRARY_NAME + "String_Node_Str");
        writer.close();
      }
 catch (      Exception ex) {
        MessageHandler.error("String_Node_Str" + "String_Node_Str" + libraryName,ex);
      }
      try {
        openLibrary(configuration,file);
        System.out.println("String_Node_Str");
      }
 catch (      Exception ex) {
        MessageHandler.error("String_Node_Str",ex);
      }
    }
  }
  return configuration;
}

Fixed version (ground truth):
/** 
 * Return a default Configuration.  The initial default configuration is the MoML file ptolemy/configs/full/configuration.xml, but using different command line arguments can change the value
 * @return A default configuration.
 * @exception Exception If the configuration cannot be opened.
 */
protected Configuration _createDefaultConfiguration() throws Exception {
  if (_configurationURL == null) {
    _configurationURL=specToURL("String_Node_Str");
  }
  Configuration configuration=null;
  try {
    configuration=_readConfiguration(_configurationURL);
  }
 catch (  Exception ex) {
    throw new Exception("String_Node_Str" + _configurationURL + "String_Node_Str",ex);
  }
  String libraryName=null;
  try {
    libraryName=StringUtilities.preferencesDirectory() + BasicGraphFrame.VERGIL_USER_LIBRARY_NAME + "String_Node_Str";
  }
 catch (  Exception ex) {
    System.out.println("String_Node_Str" + "String_Node_Str" + ex);
  }
  if (libraryName != null) {
    System.out.print("String_Node_Str" + libraryName + "String_Node_Str");
    File file=new File(libraryName);
    if (!file.isFile() || !file.exists()) {
      try {
        file.createNewFile();
        FileWriter writer=new FileWriter(file);
        writer.write("String_Node_Str" + BasicGraphFrame.VERGIL_USER_LIBRARY_NAME + "String_Node_Str");
        writer.close();
      }
 catch (      Exception ex) {
        MessageHandler.error("String_Node_Str" + "String_Node_Str" + libraryName,ex);
      }
    }
    try {
      openLibrary(configuration,file);
      System.out.println("String_Node_Str");
    }
 catch (    Exception ex) {
      MessageHandler.error("String_Node_Str",ex);
    }
  }
  return configuration;
}