writer.println(getFullName() + ")");
writer.println(this.getFullName() + ")");
    public void writeIniFile(File configDir) throws IOException {      File iniFile = new File(configDir, getFullName() + ".ini");      PrintWriter writer = new PrintWriter(new FileWriter(iniFile));      try {	writer.println("# $id$");	writer.println("[ Cluster ]");	writer.println("class = " + agentClass_name);	writer.println("uic = \"" + getFullName().toString() + "\"");	writer.println("cloned = false");	writer.println();	writer.println("[ PlugIns ]");	if(generator) {	  writer.print("plugin = " + scriptedEvent_name);	  writer.print("(" + rweFile + ", ");	  writer.println(getFullName() + ")");	} else {	  writer.print("plugin = " + transducer_name);	  writer.println("(" + societyFile + ")");	}	writer.println("plugin = " + planServer_name);	writer.println();	writer.println("[ Policies ]");	writer.println();	writer.println("[ Permission ]");	writer.println();	writer.println("[ AuthorizedOperation ]");      }      finally {	writer.close();      }    }