Migliorato costruttore del TextDocument.