100644 blob d13ce263fc6b6bf3f39ee2f2d389fde6f8868c02	ExtensibleURIResolver.java
100644 blob 6003437df4f89e9ef4c8dae49058d510fb39301d	URI.java
100644 blob 1a60240e89ab22adb6c6de7a28c849d70e385dda	URIResolverExtensionDescriptor.java
100644 blob d89c444b041384b5f5271502fc0642b0aa3a76d0	URIResolverExtensionRegistry.java
100644 blob 2557dc04df7a3de95dc6b39e8e21d50e7fda3252	URIResolverExtensionRegistryReader.java
040000 tree dd5d1a1c3a0d86087bd1d6bdc461d992762f67d7	provisional
040000 tree a5c34fe5c68ec0e9d6e3b244b2e6924efa010570	util