100644 blob e9b2c17d091a279eb1faffb2b2c4fe07c30da03e	ExtensibleURIResolver.java
100644 blob 044d20bfe0ec19e41286a3a6b0517f9db87fa7f0	URI.java
100644 blob 647fa36314c2966b3e9ea21e45ea8bf85c454dce	URIResolverExtensionDescriptor.java
100644 blob 14030719a7ad4124b3dfbcd28ba056499a670e42	URIResolverExtensionRegistry.java
100644 blob a173f289446ab6b2cb892c6eb82ff014108be055	URIResolverExtensionRegistryReader.java
040000 tree ea5bb1c5a10c1c60a362372ce6ff344034424d50	provisional
040000 tree 8f24c928438a225e43d669beb2982260d8027e22	util