possible bug in org/w3c/jigsaw/proxy/ProxyFrame.java

Hi,

here's a possible bug in org/w3c/jigsaw/proxy/ProxyFrame.java:

00302:                  if ( index != null && index.length() > 0) {
00303:                      ResourceReference root = getLocalRootResource();
00304:                      try {
00305:                          DirectoryResource dir =
00306:                              (DirectoryResource)root.lock();
00307:                          ResourceReference rr = dir.lookup(index);
00308:                          if (rr != null) {
00309:                              try {
00310:                                  FramedResource rindex =
00311:                                      (FramedResource) rr.lock();
00312:                                  return rindex.lookup(ls,lr);
00313:                              } catch (InvalidResourceException ex) {
00314:                              } finally {
00315:                                  rr.unlock();
00316:                              }
00317:                          }
00318:                      } catch (InvalidResourceException ex) {
00319:                          root.unlock();
00320:                      }
00321:                  }

It appears that the call to "root.unlock()" should be inside a finally
clause, not inside the catch clause.

Could you confirm/deny this bug?

Thanks!

	- Godmar