equal
deleted
inserted
replaced
541 synchronized (this) { |
541 synchronized (this) { |
542 closeRequested = true; |
542 closeRequested = true; |
543 |
543 |
544 if (streams.size() !=0) { |
544 if (streams.size() !=0) { |
545 Set<InputStream> copy = streams; |
545 Set<InputStream> copy = streams; |
546 streams = new HashSet<InputStream>(); |
546 streams = new HashSet<>(); |
547 for (InputStream is: copy) |
547 for (InputStream is: copy) |
548 is.close(); |
548 is.close(); |
549 } |
549 } |
550 |
550 |
551 if (jzfile != 0) { |
551 if (jzfile != 0) { |