#fixed code
                             public static String read(File file) throws IOException {
		BufferedReader in = new BufferedReader(new InputStreamReader(new FileInputStream(file), "UTF-8"));
		String ret = new String(new byte[0], "UTF-8");
		 
		String line;
		while ((line = in.readLine()) != null) {
			ret += line;
		}

		in.close();
		return ret;
	}
#vulnerable code 
                             public static String read(File file) throws IOException {
//		BufferedReader in = new BufferedReader(new InputStreamReader(new FileInputStream(file), "UTF-8"));
		InputStream inStream = new FileInputStream(file);
		BufferedReader in = new BufferedReader(inputStreamToReader(inStream));
		StringBuilder ret = new StringBuilder();

		String line;
		while ((line = in.readLine()) != null) {
			ret.append(line);
		}
		in.close();

		return ret.toString();
	} 
                            #location 13 
                            #vulnerability type RESOURCE_LEAK