equal
deleted
inserted
replaced
217 { |
217 { |
218 |
218 |
219 // Get the default system character encoding. This may be |
219 // Get the default system character encoding. This may be |
220 // incorrect if they passed in a writer, but right now there |
220 // incorrect if they passed in a writer, but right now there |
221 // seems to be no way to get the encoding from a writer. |
221 // seems to be no way to get the encoding from a writer. |
222 encoding = System.getProperty("file.encoding", "UTF8"); |
222 encoding = SecuritySupport.getSystemProperty("file.encoding", "UTF8"); |
223 |
223 |
224 if (null != encoding) |
224 if (null != encoding) |
225 { |
225 { |
226 |
226 |
227 /* |
227 /* |
311 String urlString = null; |
311 String urlString = null; |
312 InputStream is = null; |
312 InputStream is = null; |
313 |
313 |
314 try |
314 try |
315 { |
315 { |
316 urlString = System.getProperty(ENCODINGS_PROP, ""); |
316 urlString = SecuritySupport.getSystemProperty(ENCODINGS_PROP, ""); |
317 } |
317 } |
318 catch (SecurityException e) |
318 catch (SecurityException e) |
319 { |
319 { |
320 } |
320 } |
321 |
321 |