- minor bug in Main class fixed (missing parameter in
TextDocumentReader)