#vulnerable code 
                                private static HashSet loadSet(String setname, String filename) {
	HashSet set = new HashSet();
	try {
	    BufferedReader br = new BufferedReader(new InputStreamReader(new FileInputStream(filename)));
	    String line;
	    while ((line = br.readLine()) != null) {
		line = line.trim();
		if ((line.length() > 0) && (!(line.startsWith("#")))) set.add(line.trim().toLowerCase());
	    }
	    br.close();
	    serverLog.logInfo("PROXY", "read " + setname + " set from file " + filename);
	} catch (IOException e) {}
	return set;
    } 
                            #location 12 
                            #vulnerability type RESOURCE_LEAK
#fixed code
                                private static HashSet loadSet(String setname, String filename) {
		HashSet set = new HashSet();
        BufferedReader br = null;
		try {
		    br = new BufferedReader(new InputStreamReader(new FileInputStream(filename)));
		    String line;
		    while ((line = br.readLine()) != null) {
				line = line.trim();
				if ((line.length() > 0) && (!(line.startsWith("#")))) set.add(line.trim().toLowerCase());
		    }
		    br.close();
		    serverLog.logInfo("PROXY", "read " + setname + " set from file " + filename);
		} catch (IOException e) {
		} finally {
            if (br != null) try { br.close(); } catch (Exception e) {}
		}
		return set;
    }