100644 blob e9b2c17d091a279eb1faffb2b2c4fe07c30da03e	ExtensibleURIResolver.java
100644 blob 044d20bfe0ec19e41286a3a6b0517f9db87fa7f0	URI.java
100644 blob 647fa36314c2966b3e9ea21e45ea8bf85c454dce	URIResolverExtensionDescriptor.java
100644 blob e5c22e8b8c167998b0ffa60e38dcec8456a4b1d3	URIResolverExtensionRegistry.java
100644 blob 8f1022ea972f298369be19fae5c17b5300b6d393	URIResolverExtensionRegistryReader.java
040000 tree ea5bb1c5a10c1c60a362372ce6ff344034424d50	provisional
040000 tree e6044cc80bf62ab31e2adee3977079b10dc4fe07	util