public ResourceURL(String nuri) throws MalformedURIException {
  super(nuri);
  if (uri.length() == colonLocation + 1)   throw new MalformedURIException("Empty path",null);
  if (uri.charAt(colonLocation + 1) != '/')   throw new MalformedURIException("No leading '/' in \"" + uri + "\"",uri);
  if (!uri.regionMatches(0,"res",0,colonLocation))   throw new MalformedURIException("The identifier was no Resource URI \"" + uri + "\".",uri);
}

public ResourceURL ( String nuri ) throws MalformedURIException { super ( nuri ) ; if ( uri . length ( ) == colonLocation + 1 ) throw new MalformedURIException ( "Empty path" , null ) ; if ( uri . charAt ( colonLocation + 1 ) != '/' ) throw new MalformedURIException ( "No leading '/' in \"" + uri + "\"" , uri ) ; if ( ! uri . regionMatches ( 0 , "res" , 0 , colonLocation ) ) throw new MalformedURIException ( "The identifier was no Resource URI \"" + uri + "\"." , uri ) ; }
creates a " res : " url from the given string .
