public Source(URI uri,String contents){
  this.filename=basename(uri.toString());
  this.uri=uri;
  this.contents=contents;
}

public Source ( URI uri , String contents ) { this . filename = basename ( uri . toString ( ) ) ; this . uri = uri ; this . contents = contents ; }
creates a new source file object
