equal
deleted
inserted
replaced
558 mergeTables(result, props); |
558 mergeTables(result, props); |
559 } |
559 } |
560 } |
560 } |
561 } finally { |
561 } finally { |
562 while (resources.hasMore()) { |
562 while (resources.hasMore()) { |
563 InputStream istream = (InputStream)resources.next(); |
563 resources.next().close(); |
564 istream.close(); |
|
565 } |
564 } |
566 } |
565 } |
567 |
566 |
568 // Merge in properties from file in <java.home>/lib. |
567 // Merge in properties from file in <java.home>/lib. |
569 InputStream istream = |
568 InputStream istream = |