#vulnerable code 
                             @Override
	public void receiveResult(ColumnCombination columnCombination) {
		try {
			FileWriter writer = new FileWriter(this.file, true);
			writer.write(columnCombination.toString() + "\n");
			writer.close();
		} catch (IOException e) {
			// TODO Auto-generated catch block
			e.printStackTrace();
		}
	} 
                            #location 7 
                            #vulnerability type RESOURCE_LEAK
#fixed code
                             @Override
	public void receiveResult(ColumnCombination columnCombination) {
		appendToResultFile(columnCombination.toString());
	}