/** * Load the INI from an InputStream using the given encoding. Filter keys as specified. * * @param is the InputStream to read from * @param encoding the encoding of the file * @param filter the filter, possibly null, for the desired keys * @throws IOException */ public void load(InputStream is, String encoding, Filter<String> filter) throws IOException { Reader in = null; try { in = new InputStreamReader(is, encoding); doLoad(in, filter); } finally { if (in != null) { in.close(); in = null; } } }