equal
deleted
inserted
replaced
442 protected byte[] readFile(final String datafile) |
442 protected byte[] readFile(final String datafile) |
443 throws IOException, MissingResourceException { |
443 throws IOException, MissingResourceException { |
444 |
444 |
445 BufferedInputStream is; |
445 BufferedInputStream is; |
446 try { |
446 try { |
447 is = (BufferedInputStream)AccessController.doPrivileged( |
447 is = AccessController.doPrivileged( |
448 new PrivilegedExceptionAction() { |
448 new PrivilegedExceptionAction<BufferedInputStream>() { |
449 public Object run() throws Exception { |
449 public BufferedInputStream run() throws Exception { |
450 return new BufferedInputStream(getClass().getResourceAsStream("/sun/text/resources/" + datafile)); |
450 return new BufferedInputStream(getClass().getResourceAsStream("/sun/text/resources/" + datafile)); |
451 } |
451 } |
452 } |
452 } |
453 ); |
453 ); |
454 } |
454 } |