Final debugging of the newly introduced SourceFileManager in anticipation of more generalised work in this area.