/** @deprecated use createResource(URI) */
 public Resource makeXmiResource(String uri) {
   return createResource(URI.createURI(uri));
 }
 /** @deprecated use getResource(URI) */
 public Resource getXmiResource(String uri) {
   return getResource(URI.createURI(uri));
 }