Method openWebxmlReader

java/org/apache/jasper/JspC.java:1942–1950

(File file)

    }

    private Reader openWebxmlReader(File file) throws IOException {
        FileInputStream fis = new FileInputStream(file);
        try {
            return webxmlEncoding != null ? new InputStreamReader(fis, webxmlEncoding) : new InputStreamReader(fis);
        } catch (IOException ioe) {
            fis.close();
            throw ioe;
        }
    }

    private Writer openWebxmlWriter(File file) throws IOException {
        FileOutputStream fos = new FileOutputStream(file);