public SourceFile[] GetSources() { ensure_sources (); SourceFile[] retval = new SourceFile [sources.Count]; sources.CopyTo (retval, 0); return retval; }