code: public SourceFile getSourceFile(File file) throws IOException
  	{
  		SourceFile source = sourceFiles.get(file);
  
  		if (source == null)
  		{
  			source = new SourceFile(file);
  			sourceFiles.put(file, source);
  		}
  
  		return source;
  	}
docs: Get an entire source file object.
  
  @param file
  @return
  @throws IOException