(File file)
| 1950 | } |
| 1951 | |
| 1952 | private Writer openWebxmlWriter(File file) throws IOException { |
| 1953 | FileOutputStream fos = new FileOutputStream(file); |
| 1954 | try { |
| 1955 | return webxmlEncoding != null ? new OutputStreamWriter(fos, webxmlEncoding) : new OutputStreamWriter(fos); |
| 1956 | } catch (IOException ioe) { |
| 1957 | fos.close(); |
| 1958 | throw ioe; |
| 1959 | } |
| 1960 | } |
| 1961 | |
| 1962 | @Override |
| 1963 | public String getUseNonstandardTagOptimizations() { |
no test coverage detected